FASTA.Parser

Reexports

Definitions

data CoordinateSystem : Type

Totality: total
Visibility: public export
Constructors:

ZeroBased : CoordinateSystem

OneBased : CoordinateSystem

Hints:

Eq CoordinateSystem

Show CoordinateSystem

data FASTAValue : Type

Totality: total
Visibility: public export
Constructors:

NL : ByteString -> FASTAValue

HeaderStart : FASTAValue

HeaderValue : String -> FASTAValue

Adenine : Nat -> FASTAValue

Thymine : Nat -> FASTAValue

Guanine : Nat -> FASTAValue

Cytosine : Nat -> FASTAValue

Hints:

Eq FASTAValue

Show FASTAValue

record FASTALine : Type

Totality: total
Visibility: public export
Constructor: 

MkFASTALine : Nat -> List FASTAValue -> FASTALine

Projections:

.nr : FASTALine -> Nat

.values : FASTALine -> List FASTAValue

Hints:

Eq FASTALine

HasStack FSTCK (SnocList FASTALine)

Interpolation FASTALine

Show FASTALine

.nr : FASTALine -> Nat

Totality: total
Visibility: public export

nr : FASTALine -> Nat

Totality: total
Visibility: public export

.values : FASTALine -> List FASTAValue

Totality: total
Visibility: public export

values : FASTALine -> List FASTAValue

Totality: total
Visibility: public export

0 FASTA : Type

Totality: total
Visibility: public export

record FSTCK : Type -> Type

Totality: total
Visibility: public export
Constructor: 

F : Ref q Nat -> Ref q Nat -> Ref q (SnocList Position) -> Ref q (SnocList String) -> Ref q (Maybe (BoundedErr Void)) -> Ref q (SnocList FASTAValue) -> Ref q (SnocList FASTALine) -> Ref q Nat -> Ref q ByteString -> FSTCK q

Projections:

.bytes : FSTCK q -> Ref q ByteString

.col : FSTCK q -> Ref q Nat

.err : FSTCK q -> Ref q (Maybe (BoundedErr Void))

.fastacounter : FSTCK q -> Ref q Nat

.fastalines : FSTCK q -> Ref q (SnocList FASTALine)

.fastavalues : FSTCK q -> Ref q (SnocList FASTAValue)

.line : FSTCK q -> Ref q Nat

.psns : FSTCK q -> Ref q (SnocList Position)

.strs : FSTCK q -> Ref q (SnocList String)

Hints:

HasBytes FSTCK

HasError FSTCK Void

HasPosition FSTCK

HasStack FSTCK (SnocList FASTALine)

HasStringLits FSTCK

.line : FSTCK q -> Ref q Nat

Totality: total
Visibility: public export

line : FSTCK q -> Ref q Nat

Totality: total
Visibility: public export

.col : FSTCK q -> Ref q Nat

Totality: total
Visibility: public export

col : FSTCK q -> Ref q Nat

Totality: total
Visibility: public export

.psns : FSTCK q -> Ref q (SnocList Position)

Totality: total
Visibility: public export

psns : FSTCK q -> Ref q (SnocList Position)

Totality: total
Visibility: public export

.strs : FSTCK q -> Ref q (SnocList String)

Totality: total
Visibility: public export

strs : FSTCK q -> Ref q (SnocList String)

Totality: total
Visibility: public export

.err : FSTCK q -> Ref q (Maybe (BoundedErr Void))

Totality: total
Visibility: public export

err : FSTCK q -> Ref q (Maybe (BoundedErr Void))

Totality: total
Visibility: public export

.fastavalues : FSTCK q -> Ref q (SnocList FASTAValue)

Totality: total
Visibility: public export

fastavalues : FSTCK q -> Ref q (SnocList FASTAValue)

Totality: total
Visibility: public export

.fastalines : FSTCK q -> Ref q (SnocList FASTALine)

Totality: total
Visibility: public export

fastalines : FSTCK q -> Ref q (SnocList FASTALine)

Totality: total
Visibility: public export

.fastacounter : FSTCK q -> Ref q Nat

Totality: total
Visibility: public export

fastacounter : FSTCK q -> Ref q Nat

Totality: total
Visibility: public export

.bytes : FSTCK q -> Ref q ByteString

Totality: total
Visibility: public export

bytes : FSTCK q -> Ref q ByteString

Totality: total
Visibility: public export

fastainit : CoordinateSystem -> F1 q (FSTCK q)

Totality: total
Visibility: export

fasta : CoordinateSystem -> P1 q (BoundedErr Void) FASTA

Totality: total
Visibility: public export

parseFASTA : CoordinateSystem -> Origin -> String -> Either (ParseError Void) FASTA

Totality: total
Visibility: export