Data.Promotion.Prelude.Maybe

Promoted functions from Data.Maybe

maybe_

type family Maybe_ a a a :: b

type family IsJust a :: Bool

type family IsNothing a :: Bool

type family FromJust a :: a

type family FromMaybe a a :: a

type family MaybeToList a :: [a]

type family ListToMaybe a :: Maybe a

type family CatMaybes a :: [a]

type family MapMaybe a a :: [b]

Defunctionalization symbols

type NothingSym0

data JustSym0 l

type JustSym1 t

data Maybe_Sym0 l

data Maybe_Sym1 l l

data Maybe_Sym2 l l l

type Maybe_Sym3 t t t

data IsJustSym0 l

type IsJustSym1 t

data IsNothingSym0 l

type IsNothingSym1 t

data FromJustSym0 l

type FromJustSym1 t

data FromMaybeSym0 l

data FromMaybeSym1 l l

type FromMaybeSym2 t t

data MaybeToListSym0 l

type MaybeToListSym1 t

data ListToMaybeSym0 l

type ListToMaybeSym1 t

data CatMaybesSym0 l

type CatMaybesSym1 t

data MapMaybeSym0 l

data MapMaybeSym1 l l

type MapMaybeSym2 t t