Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Documentation
setAllOf :: forall (w :: Type -> Type) (a :: Type). TestEquality w => w a -> a -> AllOf w -> AllOf w Source #
splitSomeOfList :: forall (w :: Type -> Type). TestEquality w => [SomeOf w] -> AllFor [] w Source #
allForWitnessConstraint :: forall k (c :: k -> Constraint) (w :: k -> Type). WitnessConstraint c w => AllFor (Compose Dict c) w Source #