Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Documentation
data FiniteAllFor f w Source #
MkFiniteAllFor | |
|
finiteAllFor :: FiniteAllFor f w -> AllFor f w Source #
finiteCodomain :: FiniteAllFor f w -> [Some f] Source #
mapFiniteAllFor :: (forall t. f1 t -> f2 t) -> FiniteAllFor f1 w -> FiniteAllFor f2 w Source #
eitherFiniteAllFor :: FiniteAllFor t w1 -> FiniteAllFor t w2 -> FiniteAllFor t (EitherType w1 w2) Source #
mkFiniteAllFor :: forall f w. FiniteWitness w => (forall t. w t -> f t) -> FiniteAllFor f w Source #