Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Data.Some.Constraint
Synopsis
- type family AllC cs k :: Constraint where ...
- data Somes cs where
- type Some c = Somes '[c]
- data Somes1 csf csa where
- Some1 :: forall k (csf :: [(k -> Type) -> Constraint]) (csa :: [k -> Constraint]) (f :: k -> Type) (a :: k). (AllC csf f, AllC csa a) => f a -> Somes1 csf csa
- type Some1 ca cf = Somes1 '[ca] '[cf]
Documentation
type family AllC cs k :: Constraint where ... Source #
AllC ensures that a list of Constraint
s is applied to a poly-kinded Type
k
.
Existential with Constraint
s.
Example
data Somes1 csf csa where Source #
Existential for containers with Constraint
s.
Example
Constructors
Some1 :: forall k (csf :: [(k -> Type) -> Constraint]) (csa :: [k -> Constraint]) (f :: k -> Type) (a :: k). (AllC csf f, AllC csa a) => f a -> Somes1 csf csa |