Hyper.Unify.Constraints

A class for constraints for unification variables

Documentation

class (PartialOrd c, Monoid c) => TypeConstraints c where

A class for constraints for unification variables.

Methods

generalizeConstraints :: c -> c

Remove scope constraints.

When generalizing unification variables into universally quantified variables, and then into fresh unification variables upon instantiation, some constraints need to be carried over, and the "scope" constraints need to be erased.

toScopeConstraints :: c -> c

Remove all constraints other than the scope constraints

Useful for comparing constraints to the current scope constraints

Instances

TypeConstraints ScopeLevel

Defined in Hyper.Infer.ScopeLevel

Methods

generalizeConstraints :: ScopeLevel -> ScopeLevel

toScopeConstraints :: ScopeLevel -> ScopeLevel

class TypeConstraints (TypeConstraintsOf ast) => HasTypeConstraints (ast :: HyperType) where

A class for terms that have constraints.

A dependency of Unify

Associated Types

type TypeConstraintsOf (ast :: HyperType) :: Type

Methods

verifyConstraints :: TypeConstraintsOf ast -> (ast # h) -> Maybe (ast # WithConstraint h)

Verify constraints on the ast and apply the given child verifier on children

data WithConstraint h ast

A HyperType to represent a term alongside a constraint.

Used for verifyConstraints.

Constructors

WithConstraint

Fields

• _wcConstraint :: TypeConstraintsOf (GetHyperType ast)
• _wcBody :: h ast

wcConstraint :: forall h ast. Lens' (WithConstraint h ast) (TypeConstraintsOf (GetHyperType ast))

wcBody :: forall h ast h. Lens (WithConstraint h ast) (WithConstraint h ast) (h ast) (h ast)