Idris2Doc : Lana.Schemas

Lana.Schemas

(source)

Definitions

transformNamed : Lanaschema=>Name-> (a->b) -> (b->a) ->schemab->schemaa
Visibility: export
eitherOfNamed : Lanaschema=>Name->schemaa->schemab->schema (Eitherab)
Visibility: export