unboxed-0.1.0.0: All the standard sum types but strict and unboxed as possible

Safe HaskellNone
LanguageHaskell2010

Data.Unboxed.Maybe

Documentation

data family Maybe (x :: TYPE (r :: RuntimeRep)) Source #

Instances
data Maybe (a :: Type) Source # 
Instance details

Defined in Data.Unboxed.Maybe

data Maybe (a :: Type) = MaybeSum !((#|#) a (##))
data Maybe (x :: TYPE UnliftedRep) Source # 
Instance details

Defined in Data.Unboxed.Maybe

data Maybe (x :: TYPE UnliftedRep) = MaybeSumU !((#|#) x (##))

pattern Just :: (a :: *) -> Maybe a Source #

pattern Nothing :: forall (a :: *). Maybe a Source #

type TypeUnlifted = TYPE UnliftedRep Source #

pattern JustU :: forall (x :: TypeUnlifted). x -> Maybe x Source #