Copyright | (C) 2014 Jan Stolarek |
---|---|
License | BSD-style (see LICENSE) |
Maintainer | Jan Stolarek (jan.stolarek@p.lodz.pl) |
Stability | experimental |
Portability | non-portable |
Safe Haskell | None |
Language | Haskell2010 |
Data.Promotion.Prelude.Maybe
Description
Defines promoted functions and datatypes relating to Maybe
,
including a promoted version of all the definitions in Data.Maybe
.
Because many of these definitions are produced by Template Haskell,
it is not possible to create proper Haddock documentation. Please look
up the corresponding operation in Data.Maybe
. Also, please excuse
the apparent repeated variable names. This is due to an interaction
between Template Haskell and Haddock.
- maybe_ :: forall b a. b -> (a -> b) -> Maybe a -> b
- type family Maybe_ (a :: b) (a :: TyFun a b -> Type) (a :: Maybe a) :: b where ...
- type family IsJust (a :: Maybe a) :: Bool where ...
- type family IsNothing (a :: Maybe a) :: Bool where ...
- type family FromJust (a :: Maybe a) :: a where ...
- type family FromMaybe (a :: a) (a :: Maybe a) :: a where ...
- type family MaybeToList (a :: Maybe a) :: [a] where ...
- type family ListToMaybe (a :: [a]) :: Maybe a where ...
- type family CatMaybes (a :: [Maybe a]) :: [a] where ...
- type family MapMaybe (a :: TyFun a (Maybe b) -> Type) (a :: [a]) :: [b] where ...
- type NothingSym0 = Nothing
- data JustSym0 l
- type JustSym1 t = Just t
- data Maybe_Sym0 l
- data Maybe_Sym1 l l
- data Maybe_Sym2 l l l
- type Maybe_Sym3 t t t = Maybe_ t t t
- data IsJustSym0 l
- type IsJustSym1 t = IsJust t
- data IsNothingSym0 l
- type IsNothingSym1 t = IsNothing t
- data FromJustSym0 l
- type FromJustSym1 t = FromJust t
- data FromMaybeSym0 l
- data FromMaybeSym1 l l
- type FromMaybeSym2 t t = FromMaybe t t
- data MaybeToListSym0 l
- type MaybeToListSym1 t = MaybeToList t
- data ListToMaybeSym0 l
- type ListToMaybeSym1 t = ListToMaybe t
- data CatMaybesSym0 l
- type CatMaybesSym1 t = CatMaybes t
- data MapMaybeSym0 l
- data MapMaybeSym1 l l
- type MapMaybeSym2 t t = MapMaybe t t
Promoted functions from Data.Maybe
The preceding two definitions is derived from the function maybe
in
Data.Maybe
. The extra underscore is to avoid name clashes with the type
Maybe
.
type family FromMaybe (a :: a) (a :: Maybe a) :: a where ... #
Equations
FromMaybe d x = Case_6989586621679772051 d x x |
type family MaybeToList (a :: Maybe a) :: [a] where ... #
Equations
MaybeToList Nothing = '[] | |
MaybeToList (Just x) = Apply (Apply (:$) x) '[] |
type family ListToMaybe (a :: [a]) :: Maybe a where ... #
Equations
ListToMaybe '[] = NothingSym0 | |
ListToMaybe ((:) a _z_6989586621679772032) = Apply JustSym0 a |
Defunctionalization symbols
type NothingSym0 = Nothing #
data Maybe_Sym0 l #
Instances
SuppressUnusedWarnings (TyFun b6989586621679770696 (TyFun (TyFun a6989586621679770697 b6989586621679770696 -> Type) (TyFun (Maybe a6989586621679770697) b6989586621679770696 -> Type) -> Type) -> *) (Maybe_Sym0 a6989586621679770697 b6989586621679770696) # | |
type Apply b6989586621679770696 (TyFun (TyFun a6989586621679770697 b6989586621679770696 -> Type) (TyFun (Maybe a6989586621679770697) b6989586621679770696 -> Type) -> Type) (Maybe_Sym0 a6989586621679770697 b6989586621679770696) l0 # | |
data Maybe_Sym1 l l #
Instances
SuppressUnusedWarnings (b6989586621679770696 -> TyFun (TyFun a6989586621679770697 b6989586621679770696 -> Type) (TyFun (Maybe a6989586621679770697) b6989586621679770696 -> Type) -> *) (Maybe_Sym1 a6989586621679770697 b6989586621679770696) # | |
type Apply (TyFun a6989586621679770697 b6989586621679770696 -> Type) (TyFun (Maybe a6989586621679770697) b6989586621679770696 -> Type) (Maybe_Sym1 a6989586621679770697 b6989586621679770696 l0) l1 # | |
data Maybe_Sym2 l l l #
Instances
SuppressUnusedWarnings (b6989586621679770696 -> (TyFun a6989586621679770697 b6989586621679770696 -> Type) -> TyFun (Maybe a6989586621679770697) b6989586621679770696 -> *) (Maybe_Sym2 a6989586621679770697 b6989586621679770696) # | |
type Apply (Maybe a6989586621679770697) b6989586621679770696 (Maybe_Sym2 a6989586621679770697 b6989586621679770696 l1 l0) l2 # | |
type Maybe_Sym3 t t t = Maybe_ t t t #
data IsJustSym0 l #
Instances
SuppressUnusedWarnings (TyFun (Maybe a6989586621679771950) Bool -> *) (IsJustSym0 a6989586621679771950) # | |
type Apply (Maybe a6989586621679771950) Bool (IsJustSym0 a6989586621679771950) l0 # | |
type IsJustSym1 t = IsJust t #
data IsNothingSym0 l #
Instances
SuppressUnusedWarnings (TyFun (Maybe a6989586621679771949) Bool -> *) (IsNothingSym0 a6989586621679771949) # | |
type Apply (Maybe a6989586621679771949) Bool (IsNothingSym0 a6989586621679771949) l0 # | |
type IsNothingSym1 t = IsNothing t #
data FromJustSym0 l #
Instances
SuppressUnusedWarnings (TyFun (Maybe a6989586621679771948) a6989586621679771948 -> *) (FromJustSym0 a6989586621679771948) # | |
type Apply (Maybe a6989586621679771948) a6989586621679771948 (FromJustSym0 a6989586621679771948) l0 # | |
type FromJustSym1 t = FromJust t #
data FromMaybeSym0 l #
Instances
SuppressUnusedWarnings (TyFun a6989586621679771947 (TyFun (Maybe a6989586621679771947) a6989586621679771947 -> Type) -> *) (FromMaybeSym0 a6989586621679771947) # | |
type Apply a6989586621679771947 (TyFun (Maybe a6989586621679771947) a6989586621679771947 -> Type) (FromMaybeSym0 a6989586621679771947) l0 # | |
data FromMaybeSym1 l l #
Instances
SuppressUnusedWarnings (a6989586621679771947 -> TyFun (Maybe a6989586621679771947) a6989586621679771947 -> *) (FromMaybeSym1 a6989586621679771947) # | |
type Apply (Maybe a6989586621679771947) a6989586621679771947 (FromMaybeSym1 a6989586621679771947 l0) l1 # | |
type FromMaybeSym2 t t = FromMaybe t t #
data MaybeToListSym0 l #
Instances
SuppressUnusedWarnings (TyFun (Maybe a6989586621679771946) [a6989586621679771946] -> *) (MaybeToListSym0 a6989586621679771946) # | |
type Apply (Maybe a6989586621679771946) [a6989586621679771946] (MaybeToListSym0 a6989586621679771946) l0 # | |
type MaybeToListSym1 t = MaybeToList t #
data ListToMaybeSym0 l #
Instances
SuppressUnusedWarnings (TyFun [a6989586621679771945] (Maybe a6989586621679771945) -> *) (ListToMaybeSym0 a6989586621679771945) # | |
type Apply [a6989586621679771945] (Maybe a6989586621679771945) (ListToMaybeSym0 a6989586621679771945) l0 # | |
type ListToMaybeSym1 t = ListToMaybe t #
data CatMaybesSym0 l #
Instances
SuppressUnusedWarnings (TyFun [Maybe a6989586621679771944] [a6989586621679771944] -> *) (CatMaybesSym0 a6989586621679771944) # | |
type Apply [Maybe a6989586621679771944] [a6989586621679771944] (CatMaybesSym0 a6989586621679771944) l0 # | |
type CatMaybesSym1 t = CatMaybes t #
data MapMaybeSym0 l #
Instances
SuppressUnusedWarnings (TyFun (TyFun a6989586621679771942 (Maybe b6989586621679771943) -> Type) (TyFun [a6989586621679771942] [b6989586621679771943] -> Type) -> *) (MapMaybeSym0 a6989586621679771942 b6989586621679771943) # | |
type Apply (TyFun a6989586621679771942 (Maybe b6989586621679771943) -> Type) (TyFun [a6989586621679771942] [b6989586621679771943] -> Type) (MapMaybeSym0 a6989586621679771942 b6989586621679771943) l0 # | |
data MapMaybeSym1 l l #
Instances
SuppressUnusedWarnings ((TyFun a6989586621679771942 (Maybe b6989586621679771943) -> Type) -> TyFun [a6989586621679771942] [b6989586621679771943] -> *) (MapMaybeSym1 a6989586621679771942 b6989586621679771943) # | |
type Apply [a6989586621679771942] [b6989586621679771943] (MapMaybeSym1 a6989586621679771942 b6989586621679771943 l0) l1 # | |
type MapMaybeSym2 t t = MapMaybe t t #