Copyright | (C) 2018 Ryan Scott |
---|---|
License | BSD-style (see LICENSE) |
Maintainer | Richard Eisenberg (rae@cs.brynmawr.edu) |
Stability | experimental |
Portability | non-portable |
Safe Haskell | None |
Language | GHC2021 |
Exports the promoted and singled versions of the Identity
data type.
Synopsis
- type family Sing :: k -> Type
- data SIdentity (a1 :: Identity a) where
- type family RunIdentity (a1 :: Identity a) :: a where ...
- sRunIdentity :: forall a (t :: Identity a). Sing t -> Sing (Apply (RunIdentitySym0 :: TyFun (Identity a) a -> Type) t)
- data IdentitySym0 (a1 :: TyFun a (Identity a))
- type family IdentitySym1 (a6989586621679047151 :: a) :: Identity a where ...
- data RunIdentitySym0 (a1 :: TyFun (Identity a) a)
- type family RunIdentitySym1 (a6989586621679047154 :: Identity a) :: a where ...
The Identity
singleton
type family Sing :: k -> Type #
Instances
type family RunIdentity (a1 :: Identity a) :: a where ... Source #
RunIdentity ('Identity field :: Identity a) = field |
sRunIdentity :: forall a (t :: Identity a). Sing t -> Sing (Apply (RunIdentitySym0 :: TyFun (Identity a) a -> Type) t) Source #
Defunctionalization symbols
data IdentitySym0 (a1 :: TyFun a (Identity a)) Source #
Instances
SingI (IdentitySym0 :: TyFun a (Identity a) -> Type) Source # | |
Defined in Data.Singletons.Base.Instances | |
SuppressUnusedWarnings (IdentitySym0 :: TyFun a (Identity a) -> Type) Source # | |
Defined in Data.Singletons.Base.Instances suppressUnusedWarnings :: () # | |
type Apply (IdentitySym0 :: TyFun a (Identity a) -> Type) (a6989586621679047151 :: a) Source # | |
Defined in Data.Singletons.Base.Instances |
type family IdentitySym1 (a6989586621679047151 :: a) :: Identity a where ... Source #
IdentitySym1 (a6989586621679047151 :: a) = 'Identity a6989586621679047151 |
data RunIdentitySym0 (a1 :: TyFun (Identity a) a) Source #
Instances
SingI (RunIdentitySym0 :: TyFun (Identity a) a -> Type) Source # | |
Defined in Data.Singletons.Base.Instances | |
SuppressUnusedWarnings (RunIdentitySym0 :: TyFun (Identity a) a -> Type) Source # | |
Defined in Data.Singletons.Base.Instances suppressUnusedWarnings :: () # | |
type Apply (RunIdentitySym0 :: TyFun (Identity a) a -> Type) (a6989586621679047154 :: Identity a) Source # | |
Defined in Data.Singletons.Base.Instances type Apply (RunIdentitySym0 :: TyFun (Identity a) a -> Type) (a6989586621679047154 :: Identity a) = RunIdentity a6989586621679047154 |
type family RunIdentitySym1 (a6989586621679047154 :: Identity a) :: a where ... Source #
RunIdentitySym1 (a6989586621679047154 :: Identity a) = RunIdentity a6989586621679047154 |