Lana.JSON.Decoder

Definitions

Parser : Type -> Type

Visibility: public export

data JDecoder : Type -> Type

Totality: total
Visibility: export
Constructor: 

MkJDecoder : Name -> (JSON -> Parser a) -> JDecoder a

Hint: 

Lana JDecoder

decodeJSON : JDecoder a -> JSON -> Parser a

Visibility: export