Safe Haskell	Safe-Inferred
Language	Haskell2010

Unison.KindInference.Constraint.Provenance

Synopsis

data Provenance v loc = Provenance !(ConstraintContext v loc) !loc
loc :: Lens' (Provenance v loc) loc

Documentation

data Provenance v loc Source #

A tag for a source span and context indicating where the generated constraint came from. This is helpful to propagate the constraint context through the solver for user-facing error messages.

Constructors

Provenance !(ConstraintContext v loc) !loc

Instances

Instances details

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

loc :: Lens' (Provenance v loc) loc Source #