Idris2Doc : Data.IMaybe

Data.IMaybe

IMaybe : Bool -> Type -> Type
Totality: total
Constructors:
Just : a -> IMaybeTruea
Nothing : IMaybeFalsea
fromJust : IMaybeTruea -> a
Totality: total