Copyright | (C) 2013-2014 Richard Eisenberg Jan Stolarek |
---|---|
License | BSD-style (see LICENSE) |
Maintainer | Ryan Scott |
Stability | experimental |
Portability | non-portable |
Safe Haskell | None |
Language | Haskell2010 |
Defines functions and datatypes relating to the singleton for Maybe
,
including a singletons 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
- data family Sing :: k -> Type
- type SMaybe = (Sing :: Maybe a -> Type)
- maybe_ :: b -> (a -> b) -> Maybe a -> b
- type family Maybe_ (a :: b) (a :: (~>) a b) (a :: Maybe a) :: b where ...
- sMaybe_ :: forall b a (t :: b) (t :: (~>) a b) (t :: Maybe a). Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply Maybe_Sym0 t) t) t :: b)
- type family IsJust (a :: Maybe a) :: Bool where ...
- sIsJust :: forall a (t :: Maybe a). Sing t -> Sing (Apply IsJustSym0 t :: Bool)
- type family IsNothing (a :: Maybe a) :: Bool where ...
- sIsNothing :: forall a (t :: Maybe a). Sing t -> Sing (Apply IsNothingSym0 t :: Bool)
- type family FromJust (a :: Maybe a) :: a where ...
- sFromJust :: forall a (t :: Maybe a). Sing t -> Sing (Apply FromJustSym0 t :: a)
- type family FromMaybe (a :: a) (a :: Maybe a) :: a where ...
- sFromMaybe :: forall a (t :: a) (t :: Maybe a). Sing t -> Sing t -> Sing (Apply (Apply FromMaybeSym0 t) t :: a)
- type family ListToMaybe (a :: [a]) :: Maybe a where ...
- sListToMaybe :: forall a (t :: [a]). Sing t -> Sing (Apply ListToMaybeSym0 t :: Maybe a)
- type family MaybeToList (a :: Maybe a) :: [a] where ...
- sMaybeToList :: forall a (t :: Maybe a). Sing t -> Sing (Apply MaybeToListSym0 t :: [a])
- type family CatMaybes (a :: [Maybe a]) :: [a] where ...
- sCatMaybes :: forall a (t :: [Maybe a]). Sing t -> Sing (Apply CatMaybesSym0 t :: [a])
- type family MapMaybe (a :: (~>) a (Maybe b)) (a :: [a]) :: [b] where ...
- sMapMaybe :: forall a b (t :: (~>) a (Maybe b)) (t :: [a]). Sing t -> Sing t -> Sing (Apply (Apply MapMaybeSym0 t) t :: [b])
- type NothingSym0 = Nothing
- data JustSym0 :: forall (a3530822107858468865 :: Type). (~>) a3530822107858468865 (Maybe (a3530822107858468865 :: Type))
- type JustSym1 (t6989586621679291637 :: a3530822107858468865) = Just t6989586621679291637
- data Maybe_Sym0 :: forall a6989586621679485232 b6989586621679485231. (~>) b6989586621679485231 ((~>) ((~>) a6989586621679485232 b6989586621679485231) ((~>) (Maybe a6989586621679485232) b6989586621679485231))
- data Maybe_Sym1 (a6989586621679485249 :: b6989586621679485231) :: forall a6989586621679485232. (~>) ((~>) a6989586621679485232 b6989586621679485231) ((~>) (Maybe a6989586621679485232) b6989586621679485231)
- data Maybe_Sym2 (a6989586621679485249 :: b6989586621679485231) (a6989586621679485250 :: (~>) a6989586621679485232 b6989586621679485231) :: (~>) (Maybe a6989586621679485232) b6989586621679485231
- type Maybe_Sym3 (a6989586621679485249 :: b6989586621679485231) (a6989586621679485250 :: (~>) a6989586621679485232 b6989586621679485231) (a6989586621679485251 :: Maybe a6989586621679485232) = Maybe_ a6989586621679485249 a6989586621679485250 a6989586621679485251
- data IsJustSym0 :: forall a6989586621679486661. (~>) (Maybe a6989586621679486661) Bool
- type IsJustSym1 (a6989586621679486865 :: Maybe a6989586621679486661) = IsJust a6989586621679486865
- data IsNothingSym0 :: forall a6989586621679486660. (~>) (Maybe a6989586621679486660) Bool
- type IsNothingSym1 (a6989586621679486863 :: Maybe a6989586621679486660) = IsNothing a6989586621679486863
- data FromJustSym0 :: forall a6989586621679486659. (~>) (Maybe a6989586621679486659) a6989586621679486659
- type FromJustSym1 (a6989586621679486860 :: Maybe a6989586621679486659) = FromJust a6989586621679486860
- data FromMaybeSym0 :: forall a6989586621679486658. (~>) a6989586621679486658 ((~>) (Maybe a6989586621679486658) a6989586621679486658)
- data FromMaybeSym1 (a6989586621679486850 :: a6989586621679486658) :: (~>) (Maybe a6989586621679486658) a6989586621679486658
- type FromMaybeSym2 (a6989586621679486850 :: a6989586621679486658) (a6989586621679486851 :: Maybe a6989586621679486658) = FromMaybe a6989586621679486850 a6989586621679486851
- data ListToMaybeSym0 :: forall a6989586621679486656. (~>) [a6989586621679486656] (Maybe a6989586621679486656)
- type ListToMaybeSym1 (a6989586621679486844 :: [a6989586621679486656]) = ListToMaybe a6989586621679486844
- data MaybeToListSym0 :: forall a6989586621679486657. (~>) (Maybe a6989586621679486657) [a6989586621679486657]
- type MaybeToListSym1 (a6989586621679486847 :: Maybe a6989586621679486657) = MaybeToList a6989586621679486847
- data CatMaybesSym0 :: forall a6989586621679486655. (~>) [Maybe a6989586621679486655] [a6989586621679486655]
- type CatMaybesSym1 (a6989586621679486839 :: [Maybe a6989586621679486655]) = CatMaybes a6989586621679486839
- data MapMaybeSym0 :: forall a6989586621679486653 b6989586621679486654. (~>) ((~>) a6989586621679486653 (Maybe b6989586621679486654)) ((~>) [a6989586621679486653] [b6989586621679486654])
- data MapMaybeSym1 (a6989586621679486820 :: (~>) a6989586621679486653 (Maybe b6989586621679486654)) :: (~>) [a6989586621679486653] [b6989586621679486654]
- type MapMaybeSym2 (a6989586621679486820 :: (~>) a6989586621679486653 (Maybe b6989586621679486654)) (a6989586621679486821 :: [a6989586621679486653]) = MapMaybe a6989586621679486820 a6989586621679486821
Documentation
data family Sing :: k -> Type Source #
The singleton kind-indexed data family.
Instances
SDecide k => TestCoercion (Sing :: k -> Type) Source # | |
Defined in Data.Singletons.Decide | |
SDecide k => TestEquality (Sing :: k -> Type) Source # | |
Defined in Data.Singletons.Decide | |
Show (SSymbol s) Source # | |
Show (SNat n) Source # | |
Eq (Sing a) Source # | |
Ord (Sing a) Source # | |
Show (Sing z) Source # | |
(ShowSing a, ShowSing [a]) => Show (Sing z) Source # | |
ShowSing a => Show (Sing z) Source # | |
Show (Sing z) Source # | |
(ShowSing a, ShowSing b) => Show (Sing z) Source # | |
Show (Sing a) Source # | |
Show (Sing z) Source # | |
(ShowSing a, ShowSing b) => Show (Sing z) Source # | |
(ShowSing a, ShowSing b, ShowSing c) => Show (Sing z) Source # | |
(ShowSing a, ShowSing b, ShowSing c, ShowSing d) => Show (Sing z) Source # | |
(ShowSing a, ShowSing b, ShowSing c, ShowSing d, ShowSing e) => Show (Sing z) Source # | |
(ShowSing a, ShowSing b, ShowSing c, ShowSing d, ShowSing e, ShowSing f) => Show (Sing z) Source # | |
(ShowSing a, ShowSing b, ShowSing c, ShowSing d, ShowSing e, ShowSing f, ShowSing g) => Show (Sing z) Source # | |
Show (Sing z) Source # | |
ShowSing a => Show (Sing z) Source # | |
ShowSing a => Show (Sing z) Source # | |
(ShowSing a, ShowSing b) => Show (Sing z) Source # | |
ShowSing a => Show (Sing z) Source # | |
ShowSing a => Show (Sing z) Source # | |
ShowSing m => Show (Sing z) Source # | |
ShowSing (Maybe a) => Show (Sing z) Source # | |
ShowSing a => Show (Sing z) Source # | |
ShowSing (Maybe a) => Show (Sing z) Source # | |
ShowSing (Maybe a) => Show (Sing z) Source # | |
ShowSing a => Show (Sing z) Source # | |
ShowSing Bool => Show (Sing z) Source # | |
ShowSing Bool => Show (Sing z) Source # | |
ShowSing a => Show (Sing z) Source # | |
ShowSing a => Show (Sing z) Source # | |
(ShowSing a, ShowSing [a]) => Show (Sing z) Source # | |
data Sing (a :: Bool) Source # | |
data Sing (a :: Ordering) Source # | |
data Sing (n :: Nat) Source # | |
data Sing (n :: Symbol) Source # | |
Defined in Data.Singletons.TypeLits.Internal | |
data Sing (a :: ()) Source # | |
Defined in Data.Singletons.Prelude.Instances | |
data Sing (a :: Void) Source # | |
Defined in Data.Singletons.Prelude.Instances | |
data Sing (a :: All) Source # | |
data Sing (a :: Any) Source # | |
data Sing (a :: PErrorMessage) Source # | |
Defined in Data.Singletons.TypeError data Sing (a :: PErrorMessage) where
| |
data Sing (b :: [a]) Source # | |
data Sing (b :: Maybe a) Source # | |
data Sing (a :: TYPE rep) Source # | A choice of singleton for the kind Conceivably, one could generalize this instance to `Sing :: k -> Type` for
any kind We cannot produce explicit singleton values for everything in |
Defined in Data.Singletons.TypeRepTYPE | |
data Sing (b :: Min a) Source # | |
data Sing (b :: Max a) Source # | |
data Sing (b :: First a) Source # | |
data Sing (b :: Last a) Source # | |
data Sing (a :: WrappedMonoid m) Source # | |
Defined in Data.Singletons.Prelude.Semigroup.Internal data Sing (a :: WrappedMonoid m) where
| |
data Sing (b :: Option a) Source # | |
data Sing (b :: Identity a) Source # | |
data Sing (b :: First a) Source # | |
data Sing (b :: Last a) Source # | |
data Sing (b :: Dual a) Source # | |
data Sing (b :: Sum a) Source # | |
data Sing (b :: Product a) Source # | |
data Sing (b :: Down a) Source # | |
data Sing (b :: NonEmpty a) Source # | |
data Sing (c :: Either a b) Source # | |
data Sing (c :: (a, b)) Source # | |
data Sing (c :: Arg a b) Source # | |
data Sing (f :: k1 ~> k2) Source # | |
data Sing (d :: (a, b, c)) Source # | |
data Sing (c :: Const a b) Source # | |
data Sing (e :: (a, b, c, d)) Source # | |
data Sing (f :: (a, b, c, d, e)) Source # | |
data Sing (g :: (a, b, c, d, e, f)) Source # | |
data Sing (h :: (a, b, c, d, e, f, g)) Source # | |
Defined in Data.Singletons.Prelude.Instances |
Though Haddock doesn't show it, the Sing
instance above declares
constructors
SNothing :: Sing Nothing SJust :: Sing a -> Sing (Just a)
Singletons from Data.Maybe
sMaybe_ :: forall b a (t :: b) (t :: (~>) a b) (t :: Maybe a). Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply Maybe_Sym0 t) t) t :: b) Source #
The preceding two definitions are derived from the function maybe
in
Data.Maybe
. The extra underscore is to avoid name clashes with the type
Maybe
.
sIsNothing :: forall a (t :: Maybe a). Sing t -> Sing (Apply IsNothingSym0 t :: Bool) Source #
type family FromMaybe (a :: a) (a :: Maybe a) :: a where ... Source #
FromMaybe d x = Case_6989586621679486856 d x x |
sFromMaybe :: forall a (t :: a) (t :: Maybe a). Sing t -> Sing t -> Sing (Apply (Apply FromMaybeSym0 t) t :: a) Source #
type family ListToMaybe (a :: [a]) :: Maybe a where ... Source #
ListToMaybe '[] = NothingSym0 | |
ListToMaybe ((:) a _) = Apply JustSym0 a |
sListToMaybe :: forall a (t :: [a]). Sing t -> Sing (Apply ListToMaybeSym0 t :: Maybe a) Source #
type family MaybeToList (a :: Maybe a) :: [a] where ... Source #
MaybeToList Nothing = '[] | |
MaybeToList (Just x) = Apply (Apply (:@#@$) x) '[] |
sMaybeToList :: forall a (t :: Maybe a). Sing t -> Sing (Apply MaybeToListSym0 t :: [a]) Source #
sCatMaybes :: forall a (t :: [Maybe a]). Sing t -> Sing (Apply CatMaybesSym0 t :: [a]) Source #
sMapMaybe :: forall a b (t :: (~>) a (Maybe b)) (t :: [a]). Sing t -> Sing t -> Sing (Apply (Apply MapMaybeSym0 t) t :: [b]) Source #
Defunctionalization symbols
type NothingSym0 = Nothing Source #
data JustSym0 :: forall (a3530822107858468865 :: Type). (~>) a3530822107858468865 (Maybe (a3530822107858468865 :: Type)) Source #
Instances
SingI (JustSym0 :: TyFun a (Maybe a) -> Type) Source # | |
SuppressUnusedWarnings (JustSym0 :: TyFun a3530822107858468865 (Maybe a3530822107858468865) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Instances suppressUnusedWarnings :: () Source # | |
type Apply (JustSym0 :: TyFun a (Maybe a) -> Type) (t6989586621679291637 :: a) Source # | |
data Maybe_Sym0 :: forall a6989586621679485232 b6989586621679485231. (~>) b6989586621679485231 ((~>) ((~>) a6989586621679485232 b6989586621679485231) ((~>) (Maybe a6989586621679485232) b6989586621679485231)) Source #
Instances
SingI (Maybe_Sym0 :: TyFun b ((a ~> b) ~> (Maybe a ~> b)) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Maybe sing :: Sing Maybe_Sym0 Source # | |
SuppressUnusedWarnings (Maybe_Sym0 :: TyFun b6989586621679485231 ((a6989586621679485232 ~> b6989586621679485231) ~> (Maybe a6989586621679485232 ~> b6989586621679485231)) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Maybe suppressUnusedWarnings :: () Source # | |
type Apply (Maybe_Sym0 :: TyFun b6989586621679485231 ((a6989586621679485232 ~> b6989586621679485231) ~> (Maybe a6989586621679485232 ~> b6989586621679485231)) -> Type) (a6989586621679485249 :: b6989586621679485231) Source # | |
Defined in Data.Singletons.Prelude.Maybe type Apply (Maybe_Sym0 :: TyFun b6989586621679485231 ((a6989586621679485232 ~> b6989586621679485231) ~> (Maybe a6989586621679485232 ~> b6989586621679485231)) -> Type) (a6989586621679485249 :: b6989586621679485231) = (Maybe_Sym1 a6989586621679485249 a6989586621679485232 :: TyFun (a6989586621679485232 ~> b6989586621679485231) (Maybe a6989586621679485232 ~> b6989586621679485231) -> Type) |
data Maybe_Sym1 (a6989586621679485249 :: b6989586621679485231) :: forall a6989586621679485232. (~>) ((~>) a6989586621679485232 b6989586621679485231) ((~>) (Maybe a6989586621679485232) b6989586621679485231) Source #
Instances
SingI d => SingI (Maybe_Sym1 d a :: TyFun (a ~> b) (Maybe a ~> b) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Maybe sing :: Sing (Maybe_Sym1 d a) Source # | |
SuppressUnusedWarnings (Maybe_Sym1 a6989586621679485249 a6989586621679485232 :: TyFun (a6989586621679485232 ~> b6989586621679485231) (Maybe a6989586621679485232 ~> b6989586621679485231) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Maybe suppressUnusedWarnings :: () Source # | |
type Apply (Maybe_Sym1 a6989586621679485249 a6989586621679485232 :: TyFun (a6989586621679485232 ~> b6989586621679485231) (Maybe a6989586621679485232 ~> b6989586621679485231) -> Type) (a6989586621679485250 :: a6989586621679485232 ~> b6989586621679485231) Source # | |
Defined in Data.Singletons.Prelude.Maybe type Apply (Maybe_Sym1 a6989586621679485249 a6989586621679485232 :: TyFun (a6989586621679485232 ~> b6989586621679485231) (Maybe a6989586621679485232 ~> b6989586621679485231) -> Type) (a6989586621679485250 :: a6989586621679485232 ~> b6989586621679485231) = Maybe_Sym2 a6989586621679485249 a6989586621679485250 |
data Maybe_Sym2 (a6989586621679485249 :: b6989586621679485231) (a6989586621679485250 :: (~>) a6989586621679485232 b6989586621679485231) :: (~>) (Maybe a6989586621679485232) b6989586621679485231 Source #
Instances
(SingI d1, SingI d2) => SingI (Maybe_Sym2 d1 d2 :: TyFun (Maybe a) b -> Type) Source # | |
Defined in Data.Singletons.Prelude.Maybe sing :: Sing (Maybe_Sym2 d1 d2) Source # | |
SuppressUnusedWarnings (Maybe_Sym2 a6989586621679485250 a6989586621679485249 :: TyFun (Maybe a6989586621679485232) b6989586621679485231 -> Type) Source # | |
Defined in Data.Singletons.Prelude.Maybe suppressUnusedWarnings :: () Source # | |
type Apply (Maybe_Sym2 a6989586621679485250 a6989586621679485249 :: TyFun (Maybe a) b -> Type) (a6989586621679485251 :: Maybe a) Source # | |
Defined in Data.Singletons.Prelude.Maybe |
type Maybe_Sym3 (a6989586621679485249 :: b6989586621679485231) (a6989586621679485250 :: (~>) a6989586621679485232 b6989586621679485231) (a6989586621679485251 :: Maybe a6989586621679485232) = Maybe_ a6989586621679485249 a6989586621679485250 a6989586621679485251 Source #
data IsJustSym0 :: forall a6989586621679486661. (~>) (Maybe a6989586621679486661) Bool Source #
Instances
SingI (IsJustSym0 :: TyFun (Maybe a) Bool -> Type) Source # | |
Defined in Data.Singletons.Prelude.Maybe sing :: Sing IsJustSym0 Source # | |
SuppressUnusedWarnings (IsJustSym0 :: TyFun (Maybe a6989586621679486661) Bool -> Type) Source # | |
Defined in Data.Singletons.Prelude.Maybe suppressUnusedWarnings :: () Source # | |
type Apply (IsJustSym0 :: TyFun (Maybe a) Bool -> Type) (a6989586621679486865 :: Maybe a) Source # | |
Defined in Data.Singletons.Prelude.Maybe |
type IsJustSym1 (a6989586621679486865 :: Maybe a6989586621679486661) = IsJust a6989586621679486865 Source #
data IsNothingSym0 :: forall a6989586621679486660. (~>) (Maybe a6989586621679486660) Bool Source #
Instances
SingI (IsNothingSym0 :: TyFun (Maybe a) Bool -> Type) Source # | |
Defined in Data.Singletons.Prelude.Maybe sing :: Sing IsNothingSym0 Source # | |
SuppressUnusedWarnings (IsNothingSym0 :: TyFun (Maybe a6989586621679486660) Bool -> Type) Source # | |
Defined in Data.Singletons.Prelude.Maybe suppressUnusedWarnings :: () Source # | |
type Apply (IsNothingSym0 :: TyFun (Maybe a) Bool -> Type) (a6989586621679486863 :: Maybe a) Source # | |
Defined in Data.Singletons.Prelude.Maybe |
type IsNothingSym1 (a6989586621679486863 :: Maybe a6989586621679486660) = IsNothing a6989586621679486863 Source #
data FromJustSym0 :: forall a6989586621679486659. (~>) (Maybe a6989586621679486659) a6989586621679486659 Source #
Instances
SingI (FromJustSym0 :: TyFun (Maybe a) a -> Type) Source # | |
Defined in Data.Singletons.Prelude.Maybe sing :: Sing FromJustSym0 Source # | |
SuppressUnusedWarnings (FromJustSym0 :: TyFun (Maybe a6989586621679486659) a6989586621679486659 -> Type) Source # | |
Defined in Data.Singletons.Prelude.Maybe suppressUnusedWarnings :: () Source # | |
type Apply (FromJustSym0 :: TyFun (Maybe a) a -> Type) (a6989586621679486860 :: Maybe a) Source # | |
Defined in Data.Singletons.Prelude.Maybe |
type FromJustSym1 (a6989586621679486860 :: Maybe a6989586621679486659) = FromJust a6989586621679486860 Source #
data FromMaybeSym0 :: forall a6989586621679486658. (~>) a6989586621679486658 ((~>) (Maybe a6989586621679486658) a6989586621679486658) Source #
Instances
SingI (FromMaybeSym0 :: TyFun a (Maybe a ~> a) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Maybe sing :: Sing FromMaybeSym0 Source # | |
SuppressUnusedWarnings (FromMaybeSym0 :: TyFun a6989586621679486658 (Maybe a6989586621679486658 ~> a6989586621679486658) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Maybe suppressUnusedWarnings :: () Source # | |
type Apply (FromMaybeSym0 :: TyFun a6989586621679486658 (Maybe a6989586621679486658 ~> a6989586621679486658) -> Type) (a6989586621679486850 :: a6989586621679486658) Source # | |
Defined in Data.Singletons.Prelude.Maybe type Apply (FromMaybeSym0 :: TyFun a6989586621679486658 (Maybe a6989586621679486658 ~> a6989586621679486658) -> Type) (a6989586621679486850 :: a6989586621679486658) = FromMaybeSym1 a6989586621679486850 |
data FromMaybeSym1 (a6989586621679486850 :: a6989586621679486658) :: (~>) (Maybe a6989586621679486658) a6989586621679486658 Source #
Instances
SingI d => SingI (FromMaybeSym1 d :: TyFun (Maybe a) a -> Type) Source # | |
Defined in Data.Singletons.Prelude.Maybe sing :: Sing (FromMaybeSym1 d) Source # | |
SuppressUnusedWarnings (FromMaybeSym1 a6989586621679486850 :: TyFun (Maybe a6989586621679486658) a6989586621679486658 -> Type) Source # | |
Defined in Data.Singletons.Prelude.Maybe suppressUnusedWarnings :: () Source # | |
type Apply (FromMaybeSym1 a6989586621679486850 :: TyFun (Maybe a) a -> Type) (a6989586621679486851 :: Maybe a) Source # | |
Defined in Data.Singletons.Prelude.Maybe |
type FromMaybeSym2 (a6989586621679486850 :: a6989586621679486658) (a6989586621679486851 :: Maybe a6989586621679486658) = FromMaybe a6989586621679486850 a6989586621679486851 Source #
data ListToMaybeSym0 :: forall a6989586621679486656. (~>) [a6989586621679486656] (Maybe a6989586621679486656) Source #
Instances
SingI (ListToMaybeSym0 :: TyFun [a] (Maybe a) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Maybe | |
SuppressUnusedWarnings (ListToMaybeSym0 :: TyFun [a6989586621679486656] (Maybe a6989586621679486656) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Maybe suppressUnusedWarnings :: () Source # | |
type Apply (ListToMaybeSym0 :: TyFun [a] (Maybe a) -> Type) (a6989586621679486844 :: [a]) Source # | |
Defined in Data.Singletons.Prelude.Maybe type Apply (ListToMaybeSym0 :: TyFun [a] (Maybe a) -> Type) (a6989586621679486844 :: [a]) = ListToMaybe a6989586621679486844 |
type ListToMaybeSym1 (a6989586621679486844 :: [a6989586621679486656]) = ListToMaybe a6989586621679486844 Source #
data MaybeToListSym0 :: forall a6989586621679486657. (~>) (Maybe a6989586621679486657) [a6989586621679486657] Source #
Instances
SingI (MaybeToListSym0 :: TyFun (Maybe a) [a] -> Type) Source # | |
Defined in Data.Singletons.Prelude.Maybe | |
SuppressUnusedWarnings (MaybeToListSym0 :: TyFun (Maybe a6989586621679486657) [a6989586621679486657] -> Type) Source # | |
Defined in Data.Singletons.Prelude.Maybe suppressUnusedWarnings :: () Source # | |
type Apply (MaybeToListSym0 :: TyFun (Maybe a) [a] -> Type) (a6989586621679486847 :: Maybe a) Source # | |
Defined in Data.Singletons.Prelude.Maybe type Apply (MaybeToListSym0 :: TyFun (Maybe a) [a] -> Type) (a6989586621679486847 :: Maybe a) = MaybeToList a6989586621679486847 |
type MaybeToListSym1 (a6989586621679486847 :: Maybe a6989586621679486657) = MaybeToList a6989586621679486847 Source #
data CatMaybesSym0 :: forall a6989586621679486655. (~>) [Maybe a6989586621679486655] [a6989586621679486655] Source #
Instances
SingI (CatMaybesSym0 :: TyFun [Maybe a] [a] -> Type) Source # | |
Defined in Data.Singletons.Prelude.Maybe sing :: Sing CatMaybesSym0 Source # | |
SuppressUnusedWarnings (CatMaybesSym0 :: TyFun [Maybe a6989586621679486655] [a6989586621679486655] -> Type) Source # | |
Defined in Data.Singletons.Prelude.Maybe suppressUnusedWarnings :: () Source # | |
type Apply (CatMaybesSym0 :: TyFun [Maybe a] [a] -> Type) (a6989586621679486839 :: [Maybe a]) Source # | |
Defined in Data.Singletons.Prelude.Maybe |
type CatMaybesSym1 (a6989586621679486839 :: [Maybe a6989586621679486655]) = CatMaybes a6989586621679486839 Source #
data MapMaybeSym0 :: forall a6989586621679486653 b6989586621679486654. (~>) ((~>) a6989586621679486653 (Maybe b6989586621679486654)) ((~>) [a6989586621679486653] [b6989586621679486654]) Source #
Instances
SingI (MapMaybeSym0 :: TyFun (a ~> Maybe b) ([a] ~> [b]) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Maybe sing :: Sing MapMaybeSym0 Source # | |
SuppressUnusedWarnings (MapMaybeSym0 :: TyFun (a6989586621679486653 ~> Maybe b6989586621679486654) ([a6989586621679486653] ~> [b6989586621679486654]) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Maybe suppressUnusedWarnings :: () Source # | |
type Apply (MapMaybeSym0 :: TyFun (a6989586621679486653 ~> Maybe b6989586621679486654) ([a6989586621679486653] ~> [b6989586621679486654]) -> Type) (a6989586621679486820 :: a6989586621679486653 ~> Maybe b6989586621679486654) Source # | |
Defined in Data.Singletons.Prelude.Maybe type Apply (MapMaybeSym0 :: TyFun (a6989586621679486653 ~> Maybe b6989586621679486654) ([a6989586621679486653] ~> [b6989586621679486654]) -> Type) (a6989586621679486820 :: a6989586621679486653 ~> Maybe b6989586621679486654) = MapMaybeSym1 a6989586621679486820 |
data MapMaybeSym1 (a6989586621679486820 :: (~>) a6989586621679486653 (Maybe b6989586621679486654)) :: (~>) [a6989586621679486653] [b6989586621679486654] Source #
Instances
SingI d => SingI (MapMaybeSym1 d :: TyFun [a] [b] -> Type) Source # | |
Defined in Data.Singletons.Prelude.Maybe sing :: Sing (MapMaybeSym1 d) Source # | |
SuppressUnusedWarnings (MapMaybeSym1 a6989586621679486820 :: TyFun [a6989586621679486653] [b6989586621679486654] -> Type) Source # | |
Defined in Data.Singletons.Prelude.Maybe suppressUnusedWarnings :: () Source # | |
type Apply (MapMaybeSym1 a6989586621679486820 :: TyFun [a] [b] -> Type) (a6989586621679486821 :: [a]) Source # | |
Defined in Data.Singletons.Prelude.Maybe type Apply (MapMaybeSym1 a6989586621679486820 :: TyFun [a] [b] -> Type) (a6989586621679486821 :: [a]) = MapMaybe a6989586621679486820 a6989586621679486821 |