Text.TSV.Decoder

Definitions

interface TSVDecoder : Type -> Type

Parameters: a
Constructor: 

MkTSVDecoder

Methods:

decodeFrom : Tok False e a

Implementations:

TSVDecoder Bits8

TSVDecoder Bits16

TSVDecoder Bits32

TSVDecoder Bits64

TSVDecoder Int8

TSVDecoder Int16

TSVDecoder Int32

TSVDecoder Int64

TSVDecoder Nat

TSVDecoder Integer

TSVDecoder Double

TSVDecoder String

TSVDecoder Bool

TSVDecoder a => TSVDecoder (Maybe a)

TSVDecoder a => TSVDecoder b => TSVDecoder (a, b)

All (TSVDecoder . f) ks => TSVDecoder (All f ks)

All (TSVDecoder . f) ks => TSVDecoder (All f ks)

decodeFrom : TSVDecoder a => Tok False e a

Totality: total
Visibility: public export

str : Tok False e String

Totality: total
Visibility: export

refine : Tok b1 e a -> (a -> Maybe b) -> Tok False e b

Totality: total
Visibility: export

refineNum : Tok b1 e a -> (a -> Maybe b) -> Tok False e b

Totality: total
Visibility: export

natural : (Nat -> Maybe a) -> Tok False e a

Totality: total
Visibility: export

boundedNat : Cast Nat a => Nat -> Tok False e a

Totality: total
Visibility: export

integral : (Integer -> Maybe a) -> Tok False e a

Totality: total
Visibility: export

boundedInt : Cast Integer a => Integer -> Integer -> Tok False e a

Totality: total
Visibility: export

float : (Double -> Maybe a) -> Tok False e a

Totality: total
Visibility: export

tab : Tok False e ()

Totality: total
Visibility: export

readTable : TSVDecoder a => Origin -> String -> Either (ParseError e) (List a)

Totality: total
Visibility: export