Safe Haskell	None
Language	Haskell2010

Unison.KindInference.Constraint.TypeProvenance

Synopsis

data TypeProvenance v loc
- = NotDefault (Provenance v loc)
- | Default
prov :: forall v loc loc' f. Applicative f => (Provenance v loc -> f (Provenance v loc')) -> TypeProvenance v loc -> f (TypeProvenance v loc')

Documentation

data TypeProvenance v loc Source #

Provenance of an IsType constraint. IsType constraints arise in constraint generation (in which case it will have a Provenance) and also in the solver through kind-defaulting on unconstrained unification variables.

Constructors

NotDefault (Provenance v loc)
Default

Instances

Instances details

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

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