| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Data.Type.Witness.Specific.FiniteAllFor
Documentation
data FiniteAllFor f w Source #
Constructors
| MkFiniteAllFor | |
Fields
| |
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 #