Idris2Doc : Lana.Schemas

Lana.Schemas

(source)

Definitions

transformNamed : Lana schema => Name -> (a -> b) -> (b -> a) -> schema b -> schema a
Visibility: export
eitherOfNamed : Lana schema => Name -> schema a -> schema b -> schema (Either a b)
Visibility: export