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

Contents

Promoted functions from Data.Maybe
Defunctionalization symbols

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.

Synopsis

Promoted functions from `Data.Maybe`

maybe_ :: b -> (a -> b) -> Maybe a -> b #

type family Maybe_ (a :: b) (a :: TyFun a b -> Type) (a :: Maybe a) :: b where ... #

Equations

Maybe_ n _z_6989586621679440431 Nothing = n
Maybe_ _z_6989586621679440434 f (Just x) = Apply f x

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 IsJust (a :: Maybe a) :: Bool where ... #

Equations

IsJust Nothing = FalseSym0
IsJust (Just _z_6989586621679441643) = TrueSym0

type family IsNothing (a :: Maybe a) :: Bool where ... #

Equations

IsNothing Nothing = TrueSym0
IsNothing (Just _z_6989586621679441636) = FalseSym0

type family FromJust (a :: Maybe a) :: a where ... #

Equations

FromJust Nothing = Apply ErrorSym0 "Maybe.fromJust: Nothing"
FromJust (Just x) = x

type family FromMaybe (a :: a) (a :: Maybe a) :: a where ... #

Equations

FromMaybe d x = Case_6989586621679441623 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_6989586621679441604) = Apply JustSym0 a

type family CatMaybes (a :: [Maybe a]) :: [a] where ... #

Equations

CatMaybes '[] = '[]
CatMaybes ((:) (Just x) xs) = Apply (Apply (:$) x) (Apply CatMaybesSym0 xs)
CatMaybes ((:) Nothing xs) = Apply CatMaybesSym0 xs

type family MapMaybe (a :: TyFun a (Maybe b) -> Type) (a :: [a]) :: [b] where ... #

Equations

MapMaybe _z_6989586621679441556 '[] = '[]
MapMaybe f ((:) x xs) = Case_6989586621679441588 f x xs (Let6989586621679441575Scrutinee_6989586621679441545Sym3 f x xs)

Defunctionalization symbols

type NothingSym0 = Nothing #

data JustSym0 (l :: TyFun a3530822107858468865 (Maybe a3530822107858468865)) #

Instances

SuppressUnusedWarnings (TyFun a3530822107858468865 (Maybe a3530822107858468865) -> *) (JustSym0 a3530822107858468865) #
Methods suppressUnusedWarnings :: Proxy (JustSym0 a3530822107858468865) t -> () #
type Apply a (Maybe a) (JustSym0 a) l #
type Apply a (Maybe a) (JustSym0 a) l = Just a l

type JustSym1 (t :: a3530822107858468865) = Just t #

data Maybe_Sym0 (l :: TyFun b6989586621679440409 (TyFun (TyFun a6989586621679440410 b6989586621679440409 -> Type) (TyFun (Maybe a6989586621679440410) b6989586621679440409 -> Type) -> Type)) #

Instances

SuppressUnusedWarnings (TyFun b6989586621679440409 (TyFun (TyFun a6989586621679440410 b6989586621679440409 -> Type) (TyFun (Maybe a6989586621679440410) b6989586621679440409 -> Type) -> Type) -> *) (Maybe_Sym0 a6989586621679440410 b6989586621679440409) #
Methods suppressUnusedWarnings :: Proxy (Maybe_Sym0 a6989586621679440410 b6989586621679440409) t -> () #
type Apply b6989586621679440409 (TyFun (TyFun a6989586621679440410 b6989586621679440409 -> Type) (TyFun (Maybe a6989586621679440410) b6989586621679440409 -> Type) -> Type) (Maybe_Sym0 a6989586621679440410 b6989586621679440409) l #
type Apply b6989586621679440409 (TyFun (TyFun a6989586621679440410 b6989586621679440409 -> Type) (TyFun (Maybe a6989586621679440410) b6989586621679440409 -> Type) -> Type) (Maybe_Sym0 a6989586621679440410 b6989586621679440409) l = Maybe_Sym1 a6989586621679440410 b6989586621679440409 l

data Maybe_Sym1 (l :: b6989586621679440409) (l :: TyFun (TyFun a6989586621679440410 b6989586621679440409 -> Type) (TyFun (Maybe a6989586621679440410) b6989586621679440409 -> Type)) #

Instances

SuppressUnusedWarnings (b6989586621679440409 -> TyFun (TyFun a6989586621679440410 b6989586621679440409 -> Type) (TyFun (Maybe a6989586621679440410) b6989586621679440409 -> Type) -> *) (Maybe_Sym1 a6989586621679440410 b6989586621679440409) #
Methods suppressUnusedWarnings :: Proxy (Maybe_Sym1 a6989586621679440410 b6989586621679440409) t -> () #
type Apply (TyFun a6989586621679440410 b6989586621679440409 -> Type) (TyFun (Maybe a6989586621679440410) b6989586621679440409 -> Type) (Maybe_Sym1 a6989586621679440410 b6989586621679440409 l1) l2 #
type Apply (TyFun a6989586621679440410 b6989586621679440409 -> Type) (TyFun (Maybe a6989586621679440410) b6989586621679440409 -> Type) (Maybe_Sym1 a6989586621679440410 b6989586621679440409 l1) l2 = Maybe_Sym2 a6989586621679440410 b6989586621679440409 l1 l2

data Maybe_Sym2 (l :: b6989586621679440409) (l :: TyFun a6989586621679440410 b6989586621679440409 -> Type) (l :: TyFun (Maybe a6989586621679440410) b6989586621679440409) #

Instances

SuppressUnusedWarnings (b6989586621679440409 -> (TyFun a6989586621679440410 b6989586621679440409 -> Type) -> TyFun (Maybe a6989586621679440410) b6989586621679440409 -> *) (Maybe_Sym2 a6989586621679440410 b6989586621679440409) #
Methods suppressUnusedWarnings :: Proxy (Maybe_Sym2 a6989586621679440410 b6989586621679440409) t -> () #
type Apply (Maybe a) b (Maybe_Sym2 a b l1 l2) l3 #
type Apply (Maybe a) b (Maybe_Sym2 a b l1 l2) l3 = Maybe_ a b l1 l2 l3

type Maybe_Sym3 (t :: b6989586621679440409) (t :: TyFun a6989586621679440410 b6989586621679440409 -> Type) (t :: Maybe a6989586621679440410) = Maybe_ t t t #

data IsJustSym0 (l :: TyFun (Maybe a6989586621679441522) Bool) #

Instances

SuppressUnusedWarnings (TyFun (Maybe a6989586621679441522) Bool -> *) (IsJustSym0 a6989586621679441522) #
Methods suppressUnusedWarnings :: Proxy (IsJustSym0 a6989586621679441522) t -> () #
type Apply (Maybe a) Bool (IsJustSym0 a) l #
type Apply (Maybe a) Bool (IsJustSym0 a) l = IsJust a l

type IsJustSym1 (t :: Maybe a6989586621679441522) = IsJust t #

data IsNothingSym0 (l :: TyFun (Maybe a6989586621679441521) Bool) #

Instances

SuppressUnusedWarnings (TyFun (Maybe a6989586621679441521) Bool -> *) (IsNothingSym0 a6989586621679441521) #
Methods suppressUnusedWarnings :: Proxy (IsNothingSym0 a6989586621679441521) t -> () #
type Apply (Maybe a) Bool (IsNothingSym0 a) l #
type Apply (Maybe a) Bool (IsNothingSym0 a) l = IsNothing a l

type IsNothingSym1 (t :: Maybe a6989586621679441521) = IsNothing t #

data FromJustSym0 (l :: TyFun (Maybe a6989586621679441520) a6989586621679441520) #

Instances

SuppressUnusedWarnings (TyFun (Maybe a6989586621679441520) a6989586621679441520 -> *) (FromJustSym0 a6989586621679441520) #
Methods suppressUnusedWarnings :: Proxy (FromJustSym0 a6989586621679441520) t -> () #
type Apply (Maybe a) a (FromJustSym0 a) l #
type Apply (Maybe a) a (FromJustSym0 a) l = FromJust a l

type FromJustSym1 (t :: Maybe a6989586621679441520) = FromJust t #

data FromMaybeSym0 (l :: TyFun a6989586621679441519 (TyFun (Maybe a6989586621679441519) a6989586621679441519 -> Type)) #

Instances

SuppressUnusedWarnings (TyFun a6989586621679441519 (TyFun (Maybe a6989586621679441519) a6989586621679441519 -> Type) -> *) (FromMaybeSym0 a6989586621679441519) #
Methods suppressUnusedWarnings :: Proxy (FromMaybeSym0 a6989586621679441519) t -> () #
type Apply a6989586621679441519 (TyFun (Maybe a6989586621679441519) a6989586621679441519 -> Type) (FromMaybeSym0 a6989586621679441519) l #
type Apply a6989586621679441519 (TyFun (Maybe a6989586621679441519) a6989586621679441519 -> Type) (FromMaybeSym0 a6989586621679441519) l = FromMaybeSym1 a6989586621679441519 l

data FromMaybeSym1 (l :: a6989586621679441519) (l :: TyFun (Maybe a6989586621679441519) a6989586621679441519) #

Instances

SuppressUnusedWarnings (a6989586621679441519 -> TyFun (Maybe a6989586621679441519) a6989586621679441519 -> *) (FromMaybeSym1 a6989586621679441519) #
Methods suppressUnusedWarnings :: Proxy (FromMaybeSym1 a6989586621679441519) t -> () #
type Apply (Maybe a) a (FromMaybeSym1 a l1) l2 #
type Apply (Maybe a) a (FromMaybeSym1 a l1) l2 = FromMaybe a l1 l2

type FromMaybeSym2 (t :: a6989586621679441519) (t :: Maybe a6989586621679441519) = FromMaybe t t #

data MaybeToListSym0 (l :: TyFun (Maybe a6989586621679441518) [a6989586621679441518]) #

Instances

SuppressUnusedWarnings (TyFun (Maybe a6989586621679441518) [a6989586621679441518] -> *) (MaybeToListSym0 a6989586621679441518) #
Methods suppressUnusedWarnings :: Proxy (MaybeToListSym0 a6989586621679441518) t -> () #
type Apply (Maybe a) [a] (MaybeToListSym0 a) l #
type Apply (Maybe a) [a] (MaybeToListSym0 a) l = MaybeToList a l

type MaybeToListSym1 (t :: Maybe a6989586621679441518) = MaybeToList t #

data ListToMaybeSym0 (l :: TyFun [a6989586621679441517] (Maybe a6989586621679441517)) #

Instances

SuppressUnusedWarnings (TyFun [a6989586621679441517] (Maybe a6989586621679441517) -> *) (ListToMaybeSym0 a6989586621679441517) #
Methods suppressUnusedWarnings :: Proxy (ListToMaybeSym0 a6989586621679441517) t -> () #
type Apply [a] (Maybe a) (ListToMaybeSym0 a) l #
type Apply [a] (Maybe a) (ListToMaybeSym0 a) l = ListToMaybe a l

type ListToMaybeSym1 (t :: [a6989586621679441517]) = ListToMaybe t #

data CatMaybesSym0 (l :: TyFun [Maybe a6989586621679441516] [a6989586621679441516]) #

Instances

SuppressUnusedWarnings (TyFun [Maybe a6989586621679441516] [a6989586621679441516] -> *) (CatMaybesSym0 a6989586621679441516) #
Methods suppressUnusedWarnings :: Proxy (CatMaybesSym0 a6989586621679441516) t -> () #
type Apply [Maybe a] [a] (CatMaybesSym0 a) l #
type Apply [Maybe a] [a] (CatMaybesSym0 a) l = CatMaybes a l

type CatMaybesSym1 (t :: [Maybe a6989586621679441516]) = CatMaybes t #

data MapMaybeSym0 (l :: TyFun (TyFun a6989586621679441514 (Maybe b6989586621679441515) -> Type) (TyFun [a6989586621679441514] [b6989586621679441515] -> Type)) #

Instances

SuppressUnusedWarnings (TyFun (TyFun a6989586621679441514 (Maybe b6989586621679441515) -> Type) (TyFun [a6989586621679441514] [b6989586621679441515] -> Type) -> *) (MapMaybeSym0 a6989586621679441514 b6989586621679441515) #
Methods suppressUnusedWarnings :: Proxy (MapMaybeSym0 a6989586621679441514 b6989586621679441515) t -> () #
type Apply (TyFun a6989586621679441514 (Maybe b6989586621679441515) -> Type) (TyFun [a6989586621679441514] [b6989586621679441515] -> Type) (MapMaybeSym0 a6989586621679441514 b6989586621679441515) l #
type Apply (TyFun a6989586621679441514 (Maybe b6989586621679441515) -> Type) (TyFun [a6989586621679441514] [b6989586621679441515] -> Type) (MapMaybeSym0 a6989586621679441514 b6989586621679441515) l = MapMaybeSym1 a6989586621679441514 b6989586621679441515 l

data MapMaybeSym1 (l :: TyFun a6989586621679441514 (Maybe b6989586621679441515) -> Type) (l :: TyFun [a6989586621679441514] [b6989586621679441515]) #

Instances

SuppressUnusedWarnings ((TyFun a6989586621679441514 (Maybe b6989586621679441515) -> Type) -> TyFun [a6989586621679441514] [b6989586621679441515] -> *) (MapMaybeSym1 a6989586621679441514 b6989586621679441515) #
Methods suppressUnusedWarnings :: Proxy (MapMaybeSym1 a6989586621679441514 b6989586621679441515) t -> () #
type Apply [a] [b] (MapMaybeSym1 a b l1) l2 #
type Apply [a] [b] (MapMaybeSym1 a b l1) l2 = MapMaybe a b l1 l2

type MapMaybeSym2 (t :: TyFun a6989586621679441514 (Maybe b6989586621679441515) -> Type) (t :: [a6989586621679441514]) = MapMaybe t t #

Promoted functions from Data.Maybe

Defunctionalization symbols

Promoted functions from `Data.Maybe`