Safe Haskell	None
Language	Haskell2010

Unison.KindInference.Constraint.Solved

Synopsis

data Constraint uv v loc
- = IsType (TypeProvenance v loc)
- | IsAbility (Provenance v loc)
- | IsArr (Provenance v loc) uv uv
prov :: forall uv v loc loc' f. Applicative f => (Provenance v loc -> f (Provenance v loc')) -> Constraint uv v loc -> f (Constraint uv v loc')
loc :: forall uv v loc f. Applicative f => (loc -> f loc) -> Constraint uv v loc -> f (Constraint uv v loc)

Documentation

Solved constraints

These constraints are associated with unification variables during kind inference.

Constructors

Instances details

(Show v, Show loc, Show uv) => Show (Constraint uv v loc) Source #
Instance details Defined in Unison.KindInference.Constraint.Solved Methods showsPrec :: Int -> Constraint uv v loc -> ShowS # show :: Constraint uv v loc -> String # showList :: [Constraint uv v loc] -> ShowS #
(Var v, Eq loc, Eq uv) => Eq (Constraint uv v loc) Source #
Instance details Defined in Unison.KindInference.Constraint.Solved Methods (==) :: Constraint uv v loc -> Constraint uv v loc -> Bool # (/=) :: Constraint uv v loc -> Constraint uv v loc -> Bool #
(Var v, Ord loc, Ord uv) => Ord (Constraint uv v loc) Source #
Instance details Defined in Unison.KindInference.Constraint.Solved Methods compare :: Constraint uv v loc -> Constraint uv v loc -> Ordering # (<) :: Constraint uv v loc -> Constraint uv v loc -> Bool # (<=) :: Constraint uv v loc -> Constraint uv v loc -> Bool # (>) :: Constraint uv v loc -> Constraint uv v loc -> Bool # (>=) :: Constraint uv v loc -> Constraint uv v loc -> Bool # max :: Constraint uv v loc -> Constraint uv v loc -> Constraint uv v loc # min :: Constraint uv v loc -> Constraint uv v loc -> Constraint uv v loc #

prov :: forall uv v loc loc' f. Applicative f => (Provenance v loc -> f (Provenance v loc')) -> Constraint uv v loc -> f (Constraint uv v loc') Source #

loc :: forall uv v loc f. Applicative f => (loc -> f loc) -> Constraint uv v loc -> f (Constraint uv v loc) Source #