Copyright | (C) 2020 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 promoted and singled versions of the definitions in Data.Proxy.
Synopsis
- type family Sing :: k -> Type
- data SProxy (a :: Proxy t) where
- type family AsProxyTypeOf (a1 :: a) (a2 :: proxy a) :: a where ...
- sAsProxyTypeOf :: forall a (proxy :: Type -> Type) (t1 :: a) (t2 :: proxy a). Sing t1 -> Sing t2 -> Sing (Apply (Apply (AsProxyTypeOfSym0 :: TyFun a (proxy a ~> a) -> Type) t1) t2)
- type family ProxySym0 :: Proxy t where ...
- data AsProxyTypeOfSym0 (a1 :: TyFun a (proxy a ~> a))
- data AsProxyTypeOfSym1 (a6989586621680355908 :: a) (b :: TyFun (proxy a) a)
- type family AsProxyTypeOfSym2 (a6989586621680355908 :: a) (a6989586621680355909 :: proxy a) :: a where ...
The Proxy
singleton
type family Sing :: k -> Type #
Instances
type family AsProxyTypeOf (a1 :: a) (a2 :: proxy a) :: a where ... Source #
sAsProxyTypeOf :: forall a (proxy :: Type -> Type) (t1 :: a) (t2 :: proxy a). Sing t1 -> Sing t2 -> Sing (Apply (Apply (AsProxyTypeOfSym0 :: TyFun a (proxy a ~> a) -> Type) t1) t2) Source #
Defunctionalization symbols
data AsProxyTypeOfSym0 (a1 :: TyFun a (proxy a ~> a)) Source #
Instances
SingI (AsProxyTypeOfSym0 :: TyFun a (proxy a ~> a) -> Type) Source # | |
Defined in Data.Proxy.Singletons | |
SuppressUnusedWarnings (AsProxyTypeOfSym0 :: TyFun a (proxy a ~> a) -> Type) Source # | |
Defined in Data.Proxy.Singletons suppressUnusedWarnings :: () # | |
type Apply (AsProxyTypeOfSym0 :: TyFun a (proxy a ~> a) -> Type) (a6989586621680355908 :: a) Source # | |
Defined in Data.Proxy.Singletons type Apply (AsProxyTypeOfSym0 :: TyFun a (proxy a ~> a) -> Type) (a6989586621680355908 :: a) = AsProxyTypeOfSym1 a6989586621680355908 :: TyFun (proxy a) a -> Type |
data AsProxyTypeOfSym1 (a6989586621680355908 :: a) (b :: TyFun (proxy a) a) Source #
Instances
SingI1 (AsProxyTypeOfSym1 :: a -> TyFun (proxy a) a -> Type) Source # | |
Defined in Data.Proxy.Singletons | |
SingI d => SingI (AsProxyTypeOfSym1 d :: TyFun (proxy a) a -> Type) Source # | |
Defined in Data.Proxy.Singletons | |
SuppressUnusedWarnings (AsProxyTypeOfSym1 a6989586621680355908 :: TyFun (proxy a) a -> Type) Source # | |
Defined in Data.Proxy.Singletons suppressUnusedWarnings :: () # | |
type Apply (AsProxyTypeOfSym1 a6989586621680355908 :: TyFun (proxy a) a -> Type) (a6989586621680355909 :: proxy a) Source # | |
Defined in Data.Proxy.Singletons type Apply (AsProxyTypeOfSym1 a6989586621680355908 :: TyFun (proxy a) a -> Type) (a6989586621680355909 :: proxy a) = AsProxyTypeOf a6989586621680355908 a6989586621680355909 |
type family AsProxyTypeOfSym2 (a6989586621680355908 :: a) (a6989586621680355909 :: proxy a) :: a where ... Source #
AsProxyTypeOfSym2 (a6989586621680355908 :: a) (a6989586621680355909 :: proxy a) = AsProxyTypeOf a6989586621680355908 a6989586621680355909 |