Helium.StaticAnalysis.Miscellaneous.TypeConstraints

basic constraints that are supplied by the Top framework). Some constraints are lifted to work on finite maps as well.

Documentation

type TypeConstraints info = [TypeConstraint info]

data TypeConstraint info

Constructors

TC1 (EqualityConstraint info)

TC2 (ExtraConstraint info)

TC3 (PolymorphismConstraint info)

TCOper String (forall m. HasSubst m info => m ())

Instances

Show info => Show (TypeConstraint info)

Substitutable (TypeConstraint info)

(HasBasic m info, HasTI m info, HasSubst m info, HasQual m info, PolyTypeConstraintInfo info) => Solvable (TypeConstraint info) m

polySubst :: Map Int (Scheme Predicates) -> TypeConstraint info -> TypeConstraint info

spreadFunction :: TypeConstraint info -> Maybe Int

spreadFromType :: Tp -> Maybe Int

lift :: Ord k => (a1 -> t1 -> t2 -> a) -> Map k a1 -> Map k [(t, t1)] -> (t -> t2) -> ([a], Map k [(t, t1)])

(.==.) :: Show info => Tp -> Tp -> info -> TypeConstraint info

(.===.) :: (Show info, Ord key) => Map key Tp -> Map key [(key, Tp)] -> (key -> info) -> ([TypeConstraint info], Map key [(key, Tp)])

(.::.) :: Show info => Tp -> TpScheme -> info -> TypeConstraint info

(.:::.) :: (Show info, Ord key) => Map key TpScheme -> Map key [(key, Tp)] -> (key -> info) -> ([TypeConstraint info], Map key [(key, Tp)])

(!::!) :: Tp -> TpScheme -> Tps -> info -> TypeConstraint info

(!:::!) :: (Show info, Ord key) => Map key TpScheme -> Map key Tp -> Tps -> (Tps -> key -> key -> info) -> ([TypeConstraint info], Map key Tp)

(.<=.) :: Show info => Tp -> Sigma Predicates -> info -> TypeConstraint info

(.<==.) :: (Show info, Ord key) => Map key (Sigma Predicates) -> Map key [(key, Tp)] -> (key -> info) -> ([TypeConstraint info], Map key [(key, Tp)])

(!<=!) :: Show info => Tps -> Tp -> Tp -> info -> TypeConstraint info

(!<==!) :: (Show info, Ord key) => Tps -> Map key Tp -> Map key [(key, Tp)] -> (key -> info) -> ([TypeConstraint info], Map key [(key, Tp)])

genConstraints :: Tps -> (key -> info) -> [(Int, (key, Tp))] -> TypeConstraints info

predicate :: Predicate -> info -> TypeConstraint info