Idris2Doc : FASTA.Parser

FASTA.Parser

(source)
Reexports
import public Text.ILex
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 ByteString -> Ref q ByteString -> Ref q Nat -> Ref q Integer -> Ref q Nat -> Ref q (SnocList BytePos) -> Ref q (SnocList String) -> Ref q (Maybe (BBErr Void)) -> Ref q (SnocList FASTAValue) -> Ref q (SnocList FASTALine) -> Ref q Nat -> Ref q Nat -> FSTCK q

  Projections:
  
.cur_ : FSTCK q -> Ref q ByteString
  
.err : FSTCK q -> Ref q (Maybe (BBErr Void))
  
.fastacounter : FSTCK q -> Ref q Nat
  
.fastalines : FSTCK q -> Ref q (SnocList FASTALine)
  
.fastavalues : FSTCK q -> Ref q (SnocList FASTAValue)
  
.len_ : FSTCK q -> Ref q Nat
  
.line : FSTCK q -> Ref q Nat
  
.offset_ : FSTCK q -> Ref q Nat
  
.positions_ : FSTCK q -> Ref q (SnocList BytePos)
  
.prev_ : FSTCK q -> Ref q ByteString
  
.relpos_ : FSTCK q -> Ref q Integer
  
.strs : FSTCK q -> Ref q (SnocList String)

  Hints:
  
HasBBErr FSTCK Void
  
HasBytes FSTCK
  
HasStack FSTCK (SnocList FASTALine)
  
HasStringLits FSTCK
.prev_ : FSTCK q -> Ref q ByteString
  Totality: total
  Visibility: public export
prev_ : FSTCK q -> Ref q ByteString
  Totality: total
  Visibility: public export
.cur_ : FSTCK q -> Ref q ByteString
  Totality: total
  Visibility: public export
cur_ : FSTCK q -> Ref q ByteString
  Totality: total
  Visibility: public export
.offset_ : FSTCK q -> Ref q Nat
  Totality: total
  Visibility: public export
offset_ : FSTCK q -> Ref q Nat
  Totality: total
  Visibility: public export
.relpos_ : FSTCK q -> Ref q Integer
  Totality: total
  Visibility: public export
relpos_ : FSTCK q -> Ref q Integer
  Totality: total
  Visibility: public export
.len_ : FSTCK q -> Ref q Nat
  Totality: total
  Visibility: public export
len_ : FSTCK q -> Ref q Nat
  Totality: total
  Visibility: public export
.positions_ : FSTCK q -> Ref q (SnocList BytePos)
  Totality: total
  Visibility: public export
positions_ : FSTCK q -> Ref q (SnocList BytePos)
  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 (BBErr Void))
  Totality: total
  Visibility: public export
err : FSTCK q -> Ref q (Maybe (BBErr 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
.line : FSTCK q -> Ref q Nat
  Totality: total
  Visibility: public export
line : FSTCK q -> Ref q Nat
  Totality: total
  Visibility: public export
fastainit : CoordinateSystem -> F1 q (FSTCK q)
  Totality: total
  Visibility: export
fasta : CoordinateSystem -> P1 q (BBErr Void) FASTA
  Totality: total
  Visibility: public export
parseFASTA : CoordinateSystem -> Origin -> String -> Either (ParseError Void) FASTA
  Totality: total
  Visibility: export