Safe Haskell | None |
---|---|
Language | Haskell98 |
Documentation
Provides an indexed version of the |Maybe| monad
data IMaybe p a where Source #
Effect * IMaybe Source # | |
Cond * IMaybe Source # | |
Show a => Show (IMaybe p a) Source # | |
type Unit * IMaybe Source # | |
type Plus * IMaybe U s Source # | |
type Plus * IMaybe T s Source # | |
type Plus * IMaybe F s Source # | |
type Inv * IMaybe s t Source # | |
type AltInv * IMaybe s t Source # | |
type Alt * IMaybe T T Source # | |
type Alt * IMaybe T F Source # | |
type Alt * IMaybe F T Source # | |
type Alt * IMaybe F F Source # | |