Copyright	disco team and contributors
License	BSD-3-Clause
Maintainer	byorgey@gmail.com
Safe Haskell	None
Language	Haskell2010

Disco.Typecheck.Constraints

Description

Constraints generated by type inference & checking.

Synopsis

data Constraint where
- CSub :: Type -> Type -> Constraint
- CEq :: Type -> Type -> Constraint
- CQual :: Qualifier -> Type -> Constraint
- CAnd :: [Constraint] -> Constraint
- CTrue :: Constraint
- COr :: [Constraint] -> Constraint
- CAll :: Bind [Name Type] Constraint -> Constraint
cAnd :: [Constraint] -> Constraint

Documentation

data Constraint where Source #

Constraints are generated as a result of type inference and checking. These constraints are accumulated during the inference and checking phase and are subsequently solved by the constraint solver.

Constructors

CSub :: Type -> Type -> Constraint
CEq :: Type -> Type -> Constraint
CQual :: Qualifier -> Type -> Constraint
CAnd :: [Constraint] -> Constraint
CTrue :: Constraint
COr :: [Constraint] -> Constraint
CAll :: Bind [Name Type] Constraint -> Constraint

Instances

Instances details

Show Constraint Source #
Instance details Defined in Disco.Typecheck.Constraints Methods showsPrec :: Int -> Constraint -> ShowS # show :: Constraint -> String # showList :: [Constraint] -> ShowS #
Generic Constraint Source #
Instance details Defined in Disco.Typecheck.Constraints Associated Types type Rep Constraint :: Type -> Type # Methods from :: Constraint -> Rep Constraint x # to :: Rep Constraint x -> Constraint #
Semigroup Constraint Source #
Instance details Defined in Disco.Typecheck.Constraints Methods (<>) :: Constraint -> Constraint -> Constraint # sconcat :: NonEmpty Constraint -> Constraint # stimes :: Integral b => b -> Constraint -> Constraint #
Monoid Constraint Source #
Instance details Defined in Disco.Typecheck.Constraints Methods mempty :: Constraint # mappend :: Constraint -> Constraint -> Constraint # mconcat :: [Constraint] -> Constraint #
Alpha Constraint Source #
Instance details Defined in Disco.Typecheck.Constraints Methods aeq' :: AlphaCtx -> Constraint -> Constraint -> Bool # fvAny' :: (Contravariant f, Applicative f) => AlphaCtx -> (AnyName -> f AnyName) -> Constraint -> f Constraint # close :: AlphaCtx -> NamePatFind -> Constraint -> Constraint # open :: AlphaCtx -> NthPatFind -> Constraint -> Constraint # isPat :: Constraint -> DisjointSet AnyName # isTerm :: Constraint -> All # isEmbed :: Constraint -> Bool # nthPatFind :: Constraint -> NthPatFind # namePatFind :: Constraint -> NamePatFind # swaps' :: AlphaCtx -> Perm AnyName -> Constraint -> Constraint # lfreshen' :: LFresh m => AlphaCtx -> Constraint -> (Constraint -> Perm AnyName -> m b) -> m b # freshen' :: Fresh m => AlphaCtx -> Constraint -> m (Constraint, Perm AnyName) # acompare' :: AlphaCtx -> Constraint -> Constraint -> Ordering #
Pretty Constraint Source #
Instance details Defined in Disco.Typecheck.Constraints Methods pretty :: forall (r :: EffectRow). Members '[Reader PA, LFresh] r => Constraint -> Sem r Doc Source #
Subst Type Constraint Source #
Instance details Defined in Disco.Typecheck.Constraints Methods isvar :: Constraint -> Maybe (SubstName Constraint Type) # isCoerceVar :: Constraint -> Maybe (SubstCoerce Constraint Type) # subst :: Name Type -> Type -> Constraint -> Constraint # substs :: [(Name Type, Type)] -> Constraint -> Constraint #
type Rep Constraint Source #
Instance details Defined in Disco.Typecheck.Constraints type Rep Constraint = D1 ('MetaData "Constraint" "Disco.Typecheck.Constraints" "disco-0.1.3.1-EVUeP3Z0O0d8zqKlGvDqh1" 'False) ((C1 ('MetaCons "CSub" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Type) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Type)) :+: (C1 ('MetaCons "CEq" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Type) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Type)) :+: C1 ('MetaCons "CQual" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Qualifier) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Type)))) :+: ((C1 ('MetaCons "CAnd" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Constraint])) :+: C1 ('MetaCons "CTrue" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "COr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Constraint])) :+: C1 ('MetaCons "CAll" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Bind [Name Type] Constraint))))))

cAnd :: [Constraint] -> Constraint Source #