Moduleconstraints-0.14.4

Data.Constraint

4 types
6 classes
16 values

Packageconstraints-0.14.4
Exports26
LicenceBSD-2-Clause
SourceTypes.hs

value(&&&) :: a :- b -> a :- c -> a :- (b, c)

value(***) :: a :- b -> c :- d -> (a, c) :- (b, d)

value(\\) :: HasDict c e => (c => r) -> e -> r

valuebottom :: Bottom :- a

valuecontract :: a :- (a, a)

valueimplied :: (a => b) => a :- b

valuemapDict :: a :- b -> Dict a -> Dict b

valuerefl :: a :- a

valuestrengthen1 :: Dict b -> a :- c -> a :- (b, c)

valuestrengthen2 :: Dict b -> a :- c -> a :- (c, b)

valuetop :: a :- ()

valuetrans :: b :- c -> a :- b -> a :- c

valueunmapDict :: (Dict a -> Dict b) -> a :- b

valueweaken1 :: (a, b) :- a

valueweaken2 :: (a, b) :- b

valuewithDict :: HasDict c e => e -> (c => r) -> r

classclass (p, q) => (&) (p :: Constraint) (q :: Constraint)

Instances1&

(p, q) => p & qDefined in constraints-0.14.4 · Data.Constraint

newtypenewtype (:-) (a :: Constraint) (b :: Constraint)

Constructors

Sub (a => Dict b)

Instances10Category, :=>, HasDict, Eq, Data, Ord, …

Category (:-)Defined in constraints-0.14.4 · Data.Constraint
() :=> Eq (a :- b)Defined in constraints-0.14.4 · Data.Constraint
() :=> Ord (a :- b)Defined in constraints-0.14.4 · Data.Constraint
() :=> Show (a :- b)Defined in constraints-0.14.4 · Data.Constraint
a => HasDict b (a :- b)Defined in constraints-0.14.4 · Data.Constraint
Eq (a :- b)Defined in constraints-0.14.4 · Data.Constraint
(Typeable p, Typeable q, p => q) => Data (p :- q)Defined in constraints-0.14.4 · Data.Constraint
Ord (a :- b)Defined in constraints-0.14.4 · Data.Constraint
Show (a :- b)Defined in constraints-0.14.4 · Data.Constraint
a => NFData (a :- b)Defined in constraints-0.14.4 · Data.Constraint

classclass (:=>) (b :: Constraint) (h :: Constraint) | h -> b where

Methods

ins :: b :- h

Instances194Class, :=>, …

() :=> ()Defined in constraints-0.14.4 · Data.Constraint
() :=> Alternative MaybeDefined in constraints-0.14.4 · Data.Constraint
() :=> Alternative []Defined in constraints-0.14.4 · Data.Constraint
() :=> Applicative MaybeDefined in constraints-0.14.4 · Data.Constraint
() :=> Applicative IODefined in constraints-0.14.4 · Data.Constraint
() :=> Applicative (Either a)Defined in constraints-0.14.4 · Data.Constraint
() :=> Applicative ((->) a)Defined in constraints-0.14.4 · Data.Constraint
() :=> Applicative []Defined in constraints-0.14.4 · Data.Constraint
() :=> Functor IdentityDefined in constraints-0.14.4 · Data.Constraint
() :=> Functor MaybeDefined in constraints-0.14.4 · Data.Constraint
() :=> Functor IODefined in constraints-0.14.4 · Data.Constraint
() :=> Functor (Either a)Defined in constraints-0.14.4 · Data.Constraint
() :=> Functor (Const a)Defined in constraints-0.14.4 · Data.Constraint
() :=> Functor (Tuple2 a)Defined in constraints-0.14.4 · Data.Constraint
() :=> Functor ((->) a)Defined in constraints-0.14.4 · Data.Constraint
() :=> Functor []Defined in constraints-0.14.4 · Data.Constraint
() :=> Monad IdentityDefined in constraints-0.14.4 · Data.Constraint
() :=> Monad IODefined in constraints-0.14.4 · Data.Constraint
() :=> Monad (Either a)Defined in constraints-0.14.4 · Data.Constraint
() :=> Monad ((->) a)Defined in constraints-0.14.4 · Data.Constraint
() :=> Monad []Defined in constraints-0.14.4 · Data.Constraint
() :=> MonadPlus MaybeDefined in constraints-0.14.4 · Data.Constraint
() :=> MonadPlus []Defined in constraints-0.14.4 · Data.Constraint
() :=> Monoid OrderingDefined in constraints-0.14.4 · Data.Constraint
() :=> Monoid ()Defined in constraints-0.14.4 · Data.Constraint
() :=> Monoid [a]Defined in constraints-0.14.4 · Data.Constraint
() :=> Semigroup OrderingDefined in constraints-0.14.4 · Data.Constraint
() :=> Semigroup (Dict a)Defined in constraints-0.14.4 · Data.Constraint
() :=> Semigroup ()Defined in constraints-0.14.4 · Data.Constraint
() :=> Semigroup [a]Defined in constraints-0.14.4 · Data.Constraint
() :=> Bits IntegerDefined in constraints-0.14.4 · Data.Constraint
() :=> Bits NaturalDefined in constraints-0.14.4 · Data.Constraint
() :=> Bits BoolDefined in constraints-0.14.4 · Data.Constraint
() :=> Bits IntDefined in constraints-0.14.4 · Data.Constraint
() :=> Bits WordDefined in constraints-0.14.4 · Data.Constraint
() :=> Eq IntegerDefined in constraints-0.14.4 · Data.Constraint
() :=> Eq NaturalDefined in constraints-0.14.4 · Data.Constraint
() :=> Eq BoolDefined in constraints-0.14.4 · Data.Constraint
() :=> Eq DoubleDefined in constraints-0.14.4 · Data.Constraint
() :=> Eq FloatDefined in constraints-0.14.4 · Data.Constraint
() :=> Eq IntDefined in constraints-0.14.4 · Data.Constraint
() :=> Eq WordDefined in constraints-0.14.4 · Data.Constraint
() :=> Eq (Dict a)Defined in constraints-0.14.4 · Data.Constraint
() :=> Eq ()Defined in constraints-0.14.4 · Data.Constraint
() :=> Eq (a :- b)Defined in constraints-0.14.4 · Data.Constraint
() :=> Ord IntegerDefined in constraints-0.14.4 · Data.Constraint
() :=> Ord NaturalDefined in constraints-0.14.4 · Data.Constraint
() :=> Ord BoolDefined in constraints-0.14.4 · Data.Constraint
() :=> Ord CharDefined in constraints-0.14.4 · Data.Constraint
() :=> Ord DoubleDefined in constraints-0.14.4 · Data.Constraint
() :=> Ord FloatDefined in constraints-0.14.4 · Data.Constraint
() :=> Ord IntDefined in constraints-0.14.4 · Data.Constraint
() :=> Ord WordDefined in constraints-0.14.4 · Data.Constraint
() :=> Ord (Dict a)Defined in constraints-0.14.4 · Data.Constraint
() :=> Ord ()Defined in constraints-0.14.4 · Data.Constraint
() :=> Ord (a :- b)Defined in constraints-0.14.4 · Data.Constraint
() :=> Bounded BoolDefined in constraints-0.14.4 · Data.Constraint
() :=> Bounded CharDefined in constraints-0.14.4 · Data.Constraint
() :=> Bounded IntDefined in constraints-0.14.4 · Data.Constraint
() :=> Bounded OrderingDefined in constraints-0.14.4 · Data.Constraint
() :=> Bounded WordDefined in constraints-0.14.4 · Data.Constraint
() :=> Bounded ()Defined in constraints-0.14.4 · Data.Constraint
() :=> Enum IntegerDefined in constraints-0.14.4 · Data.Constraint
() :=> Enum NaturalDefined in constraints-0.14.4 · Data.Constraint
() :=> Enum BoolDefined in constraints-0.14.4 · Data.Constraint
() :=> Enum CharDefined in constraints-0.14.4 · Data.Constraint
() :=> Enum DoubleDefined in constraints-0.14.4 · Data.Constraint
() :=> Enum FloatDefined in constraints-0.14.4 · Data.Constraint
() :=> Enum IntDefined in constraints-0.14.4 · Data.Constraint
() :=> Enum OrderingDefined in constraints-0.14.4 · Data.Constraint
() :=> Enum WordDefined in constraints-0.14.4 · Data.Constraint
() :=> Enum ()Defined in constraints-0.14.4 · Data.Constraint
() :=> Floating DoubleDefined in constraints-0.14.4 · Data.Constraint
() :=> Floating FloatDefined in constraints-0.14.4 · Data.Constraint
() :=> RealFloat DoubleDefined in constraints-0.14.4 · Data.Constraint
() :=> RealFloat FloatDefined in constraints-0.14.4 · Data.Constraint
() :=> Num IntegerDefined in constraints-0.14.4 · Data.Constraint
() :=> Num NaturalDefined in constraints-0.14.4 · Data.Constraint
() :=> Num DoubleDefined in constraints-0.14.4 · Data.Constraint
() :=> Num FloatDefined in constraints-0.14.4 · Data.Constraint
() :=> Num IntDefined in constraints-0.14.4 · Data.Constraint
() :=> Num WordDefined in constraints-0.14.4 · Data.Constraint
() :=> Read NaturalDefined in constraints-0.14.4 · Data.Constraint
() :=> Read BoolDefined in constraints-0.14.4 · Data.Constraint
() :=> Read CharDefined in constraints-0.14.4 · Data.Constraint
() :=> Read IntDefined in constraints-0.14.4 · Data.Constraint
() :=> Read OrderingDefined in constraints-0.14.4 · Data.Constraint
() :=> Read WordDefined in constraints-0.14.4 · Data.Constraint
() :=> Read ()Defined in constraints-0.14.4 · Data.Constraint
() :=> Fractional DoubleDefined in constraints-0.14.4 · Data.Constraint
() :=> Fractional FloatDefined in constraints-0.14.4 · Data.Constraint
() :=> Integral IntegerDefined in constraints-0.14.4 · Data.Constraint
() :=> Integral NaturalDefined in constraints-0.14.4 · Data.Constraint
() :=> Integral IntDefined in constraints-0.14.4 · Data.Constraint
() :=> Integral WordDefined in constraints-0.14.4 · Data.Constraint
() :=> Real IntegerDefined in constraints-0.14.4 · Data.Constraint
() :=> Real NaturalDefined in constraints-0.14.4 · Data.Constraint
() :=> Real DoubleDefined in constraints-0.14.4 · Data.Constraint
() :=> Real FloatDefined in constraints-0.14.4 · Data.Constraint
() :=> Real IntDefined in constraints-0.14.4 · Data.Constraint
() :=> Real WordDefined in constraints-0.14.4 · Data.Constraint
() :=> RealFrac DoubleDefined in constraints-0.14.4 · Data.Constraint
() :=> RealFrac FloatDefined in constraints-0.14.4 · Data.Constraint
() :=> Show NaturalDefined in constraints-0.14.4 · Data.Constraint
() :=> Show BoolDefined in constraints-0.14.4 · Data.Constraint
() :=> Show CharDefined in constraints-0.14.4 · Data.Constraint
() :=> Show IntDefined in constraints-0.14.4 · Data.Constraint
() :=> Show OrderingDefined in constraints-0.14.4 · Data.Constraint
() :=> Show WordDefined in constraints-0.14.4 · Data.Constraint
() :=> Show (Dict a)Defined in constraints-0.14.4 · Data.Constraint
() :=> Show ()Defined in constraints-0.14.4 · Data.Constraint
() :=> Show (a :- b)Defined in constraints-0.14.4 · Data.Constraint
a :=> Monoid (Dict a)Defined in constraints-0.14.4 · Data.Constraint
a :=> Bounded (Dict a)Defined in constraints-0.14.4 · Data.Constraint
a :=> Enum (Dict a)Defined in constraints-0.14.4 · Data.Constraint
a :=> Read (Dict a)Defined in constraints-0.14.4 · Data.Constraint
Class b a => () :=> Class b aDefined in constraints-0.14.4 · Data.Constraint
b :=> a => () :=> (b :=> a)Defined in constraints-0.14.4 · Data.Constraint
Class () (b :=> a)Defined in constraints-0.14.4 · Data.Constraint
Monad m :=> Applicative (WrappedMonad m)Defined in constraints-0.14.4 · Data.Constraint
Monad m :=> Functor (WrappedMonad m)Defined in constraints-0.14.4 · Data.Constraint
MonadPlus m :=> Alternative (WrappedMonad m)Defined in constraints-0.14.4 · Data.Constraint
Monoid a :=> Applicative (Const a)Defined in constraints-0.14.4 · Data.Constraint
Monoid a :=> Applicative (Tuple2 a)Defined in constraints-0.14.4 · Data.Constraint
Monoid a :=> Monoid (Const a b)Defined in constraints-0.14.4 · Data.Constraint
Monoid a :=> Monoid (Identity a)Defined in constraints-0.14.4 · Data.Constraint
Monoid a :=> Monoid (Maybe a)Defined in constraints-0.14.4 · Data.Constraint
Monoid a :=> Monoid (IO a)Defined in constraints-0.14.4 · Data.Constraint
Semigroup a :=> Semigroup (Const a b)Defined in constraints-0.14.4 · Data.Constraint
Semigroup a :=> Semigroup (Identity a)Defined in constraints-0.14.4 · Data.Constraint
Semigroup a :=> Semigroup (Maybe a)Defined in constraints-0.14.4 · Data.Constraint
Semigroup a :=> Semigroup (IO a)Defined in constraints-0.14.4 · Data.Constraint
Bits a :=> Bits (Const a b)Defined in constraints-0.14.4 · Data.Constraint
Bits a :=> Bits (Identity a)Defined in constraints-0.14.4 · Data.Constraint
Eq a :=> Eq (Complex a)Defined in constraints-0.14.4 · Data.Constraint
Eq a :=> Eq (Const a b)Defined in constraints-0.14.4 · Data.Constraint
Eq a :=> Eq (Identity a)Defined in constraints-0.14.4 · Data.Constraint
Eq a :=> Eq (Maybe a)Defined in constraints-0.14.4 · Data.Constraint
Eq a :=> Eq (Ratio a)Defined in constraints-0.14.4 · Data.Constraint
Eq a :=> Eq [a]Defined in constraints-0.14.4 · Data.Constraint
Ord a :=> Ord (Const a b)Defined in constraints-0.14.4 · Data.Constraint
Ord a :=> Ord (Identity a)Defined in constraints-0.14.4 · Data.Constraint
Ord a :=> Ord (Maybe a)Defined in constraints-0.14.4 · Data.Constraint
Ord a :=> Ord [a]Defined in constraints-0.14.4 · Data.Constraint
Bounded a :=> Bounded (Const a b)Defined in constraints-0.14.4 · Data.Constraint
Bounded a :=> Bounded (Identity a)Defined in constraints-0.14.4 · Data.Constraint
Enum a :=> Enum (Const a b)Defined in constraints-0.14.4 · Data.Constraint
Enum a :=> Enum (Identity a)Defined in constraints-0.14.4 · Data.Constraint
Floating a :=> Floating (Const a b)Defined in constraints-0.14.4 · Data.Constraint
Floating a :=> Floating (Identity a)Defined in constraints-0.14.4 · Data.Constraint
RealFloat a :=> Floating (Complex a)Defined in constraints-0.14.4 · Data.Constraint
RealFloat a :=> RealFloat (Const a b)Defined in constraints-0.14.4 · Data.Constraint
RealFloat a :=> RealFloat (Identity a)Defined in constraints-0.14.4 · Data.Constraint
RealFloat a :=> Num (Complex a)Defined in constraints-0.14.4 · Data.Constraint
RealFloat a :=> Fractional (Complex a)Defined in constraints-0.14.4 · Data.Constraint
Num a :=> Num (Const a b)Defined in constraints-0.14.4 · Data.Constraint
Num a :=> Num (Identity a)Defined in constraints-0.14.4 · Data.Constraint
Read a :=> Read (Complex a)Defined in constraints-0.14.4 · Data.Constraint
Read a :=> Read (Const a b)Defined in constraints-0.14.4 · Data.Constraint
Read a :=> Read (Identity a)Defined in constraints-0.14.4 · Data.Constraint
Read a :=> Read (Maybe a)Defined in constraints-0.14.4 · Data.Constraint
Read a :=> Read [a]Defined in constraints-0.14.4 · Data.Constraint
Fractional a :=> Fractional (Const a b)Defined in constraints-0.14.4 · Data.Constraint
Fractional a :=> Fractional (Identity a)Defined in constraints-0.14.4 · Data.Constraint
Integral a :=> Ord (Ratio a)Defined in constraints-0.14.4 · Data.Constraint
Integral a :=> Enum (Ratio a)Defined in constraints-0.14.4 · Data.Constraint
Integral a :=> Num (Ratio a)Defined in constraints-0.14.4 · Data.Constraint
Integral a :=> Fractional (Ratio a)Defined in constraints-0.14.4 · Data.Constraint
Integral a :=> Integral (Const a b)Defined in constraints-0.14.4 · Data.Constraint
Integral a :=> Integral (Identity a)Defined in constraints-0.14.4 · Data.Constraint
Integral a :=> Real (Ratio a)Defined in constraints-0.14.4 · Data.Constraint
Integral a :=> RealFrac (Ratio a)Defined in constraints-0.14.4 · Data.Constraint
Real a :=> Real (Const a b)Defined in constraints-0.14.4 · Data.Constraint
Real a :=> Real (Identity a)Defined in constraints-0.14.4 · Data.Constraint
RealFrac a :=> RealFrac (Const a b)Defined in constraints-0.14.4 · Data.Constraint
RealFrac a :=> RealFrac (Identity a)Defined in constraints-0.14.4 · Data.Constraint
Show a :=> Show (Complex a)Defined in constraints-0.14.4 · Data.Constraint
Show a :=> Show (Const a b)Defined in constraints-0.14.4 · Data.Constraint
Show a :=> Show (Identity a)Defined in constraints-0.14.4 · Data.Constraint
Show a :=> Show (Maybe a)Defined in constraints-0.14.4 · Data.Constraint
Show a :=> Show [a]Defined in constraints-0.14.4 · Data.Constraint
(Monoid a, Monoid b) :=> Monoid (a, b)Defined in constraints-0.14.4 · Data.Constraint
(Semigroup a, Semigroup b) :=> Semigroup (a, b)Defined in constraints-0.14.4 · Data.Constraint
(Eq a, Eq b) :=> Eq (Either a b)Defined in constraints-0.14.4 · Data.Constraint
(Eq a, Eq b) :=> Eq (a, b)Defined in constraints-0.14.4 · Data.Constraint
(Ord a, Ord b) :=> Ord (Either a b)Defined in constraints-0.14.4 · Data.Constraint
(Ord a, Ord b) :=> Ord (a, b)Defined in constraints-0.14.4 · Data.Constraint
(Bounded a, Bounded b) :=> Bounded (a, b)Defined in constraints-0.14.4 · Data.Constraint
(Read a, Read b) :=> Read (Either a b)Defined in constraints-0.14.4 · Data.Constraint
(Read a, Read b) :=> Read (a, b)Defined in constraints-0.14.4 · Data.Constraint
(Integral a, Read a) :=> Read (Ratio a)Defined in constraints-0.14.4 · Data.Constraint
(Integral a, Show a) :=> Show (Ratio a)Defined in constraints-0.14.4 · Data.Constraint
(Show a, Show b) :=> Show (Either a b)Defined in constraints-0.14.4 · Data.Constraint
(Show a, Show b) :=> Show (a, b)Defined in constraints-0.14.4 · Data.Constraint

classclass Any => Bottom where

Methods

no :: a

classclass Class (b :: Constraint) (h :: Constraint) | h -> b where

Methods

cls :: h :- b

Instances25:=>, Class, …

Class () ()Defined in constraints-0.14.4 · Data.Constraint
Class () (Functor f)Defined in constraints-0.14.4 · Data.Constraint
Class () (Semigroup a)Defined in constraints-0.14.4 · Data.Constraint
Class () (Eq a)Defined in constraints-0.14.4 · Data.Constraint
Class () (Bounded a)Defined in constraints-0.14.4 · Data.Constraint
Class () (Enum a)Defined in constraints-0.14.4 · Data.Constraint
Class () (Num a)Defined in constraints-0.14.4 · Data.Constraint
Class () (Read a)Defined in constraints-0.14.4 · Data.Constraint
Class () (Show a)Defined in constraints-0.14.4 · Data.Constraint
Class b a => () :=> Class b aDefined in constraints-0.14.4 · Data.Constraint
Class () (Class b a)Defined in constraints-0.14.4 · Data.Constraint
Class () (b :=> a)Defined in constraints-0.14.4 · Data.Constraint
Class (Applicative f) (Alternative f)Defined in constraints-0.14.4 · Data.Constraint
Class (Applicative f) (Monad f)Defined in constraints-0.14.4 · Data.Constraint
Class (Functor f) (Applicative f)Defined in constraints-0.14.4 · Data.Constraint
Class (Semigroup a) (Monoid a)Defined in constraints-0.14.4 · Data.Constraint
Class (Eq a) (Bits a)Defined in constraints-0.14.4 · Data.Constraint
Class (Eq a) (Ord a)Defined in constraints-0.14.4 · Data.Constraint
Class (Num a) (Fractional a)Defined in constraints-0.14.4 · Data.Constraint
Class (Fractional a) (Floating a)Defined in constraints-0.14.4 · Data.Constraint
Class (Monad f, Alternative f) (MonadPlus f)Defined in constraints-0.14.4 · Data.Constraint
Class (Num a, Ord a) (Real a)Defined in constraints-0.14.4 · Data.Constraint
Class (Real a, Enum a) (Integral a)Defined in constraints-0.14.4 · Data.Constraint
Class (Real a, Fractional a) (RealFrac a)Defined in constraints-0.14.4 · Data.Constraint
Class (RealFrac a, Floating a) (RealFloat a)Defined in constraints-0.14.4 · Data.Constraint

datadata Dict (a :: Constraint) where

Constructors

Dict :: a => Dict a

Instances20:=>, HasDict, Bounded, Enum, Eq, Data, …

() :=> Semigroup (Dict a)Defined in constraints-0.14.4 · Data.Constraint
() :=> Eq (Dict a)Defined in constraints-0.14.4 · Data.Constraint
() :=> Ord (Dict a)Defined in constraints-0.14.4 · Data.Constraint
() :=> Show (Dict a)Defined in constraints-0.14.4 · Data.Constraint
a :=> Monoid (Dict a)Defined in constraints-0.14.4 · Data.Constraint
a :=> Bounded (Dict a)Defined in constraints-0.14.4 · Data.Constraint
a :=> Enum (Dict a)Defined in constraints-0.14.4 · Data.Constraint
a :=> Read (Dict a)Defined in constraints-0.14.4 · Data.Constraint
HasDict a (Dict a)Defined in constraints-0.14.4 · Data.Constraint
a => Bounded (Dict a)Defined in constraints-0.14.4 · Data.Constraint
a => Enum (Dict a)Defined in constraints-0.14.4 · Data.Constraint
Eq (Dict a)Defined in constraints-0.14.4 · Data.Constraint
(Typeable p, p) => Data (Dict p)Defined in constraints-0.14.4 · Data.Constraint
Ord (Dict a)Defined in constraints-0.14.4 · Data.Constraint
a => Read (Dict a)Defined in constraints-0.14.4 · Data.Constraint
Show (Dict a)Defined in constraints-0.14.4 · Data.Constraint
Semigroup (Dict a)Defined in constraints-0.14.4 · Data.Constraint
a => Monoid (Dict a)Defined in constraints-0.14.4 · Data.Constraint
NFData (Dict c)Defined in constraints-0.14.4 · Data.Constraint
c => Boring (Dict c)Defined in constraints-0.14.4 · Data.Constraint

classclass HasDict (c :: Constraint) e | e -> c where

Methods

evidence :: e -> Dict c

Instances6HasDict

HasDict a (Dict a)Defined in constraints-0.14.4 · Data.Constraint
a => HasDict b (a :- b)Defined in constraints-0.14.4 · Data.Constraint
HasDict (Typeable k, Typeable a) (TypeRep a)Defined in constraints-0.14.4 · Data.Constraint
HasDict (Coercible a b) (Coercion a b)Defined in constraints-0.14.4 · Data.Constraint
HasDict (a ~ b) (a :~: b)Defined in constraints-0.14.4 · Data.Constraint
HasDict (a ~~ b) (a :~~: b)Defined in constraints-0.14.4 · Data.Constraint

classclass (p => q) => (|-) (p :: Constraint) (q :: Constraint)

Instances1|-

(p => q) => p |- qDefined in constraints-0.14.4 · Data.Constraint

typetype (⊢) = (:-)

typetype Constraint = CONSTRAINT LiftedRep

The kind of lifted constraints

Instances5Category, InstV, ForallV'

Category (:-)Defined in constraints-0.14.4 · Data.Constraint
p ~ c => InstV p cDefined in constraints-0.14.4 · Data.Constraint.Forall
p a ~ c => InstV p cDefined in constraints-0.14.4 · Data.Constraint.Forall
type ForallV' p = Forall pDefined in constraints-0.14.4 · Data.Constraint.Forall
type ForallV' p = pDefined in constraints-0.14.4 · Data.Constraint.Forall