| Copyright | (c) Sebastian Graf 2018 |
|---|---|
| License | ISC |
| Maintainer | sgraf1337@gmail.com |
| Portability | portable |
| Safe Haskell | None |
| Language | Haskell2010 |
Datafix.Utils.Constraints
Description
Universally quantified constraints, until we have -XQuantifiedConstraints.
Documentation
(\\) :: a => (b => r) -> (a :- b) -> r infixl 1 Source #
Given that a :- b, derive something that needs a context b, using the context a
type family Forall (p :: k -> Constraint) :: Constraint Source #
A representation of the quantified constraint forall a. p a.