Safe Haskell | Safe-Inferred |
---|---|
Language | GHC2021 |
A couple of types to work with Constraints
proving a constraint
a functor useful for proving a constraint for some type
>>>
import Data.Functor.Identity
>>>
Proves @Eq (Identity (5 :: Int))
Proves (Identity 5)
Instances
synonyms for proving a constraint
type HasIs k = Has ((~) k) Source #
Has
but specialised to a constant type, Some (HasIs k f)
is isomorphic to f k
helpers to work with constraints
class c => Charge c a Source #
transform a Constraint
in something of kind k ->
to be
able to use it in Constraint
Has
Instances
c => Charge c (a :: k) Source # | |
Defined in Data.HTree.Constraint |
Dict
pattern Dict :: forall (c :: Constraint). forall. c => Dict c Source #
match on a Dict