Idris2Doc : Data.IMaybe

Data.IMaybe

Version of Maybe indexed by an `isJust' boolean
data IMaybe : Bool -> Type -> Type
Totality: total
Constructors:
Just : a -> IMaybe True a
Nothing : IMaybe False a
fromJust : IMaybe True a -> a
Totality: total