Lana.JSON.Encoder

Definitions

EncodedJSON : Type -> Type

Visibility: export

forgetEncodedJSON : EncodedJSON a -> JSON

Visibility: export

data JEncoder : Type -> Type

Totality: total
Visibility: export
Constructor: 

MkJEncoder : Name -> (a -> EncodedJSON a) -> JEncoder a

Hints:

Functor JEncoder

Lana JEncoder

encode : JEncoder a -> a -> EncodedJSON a

Visibility: export

MyObject : Type -> Type -> Type

Visibility: export