Copyright	disco team and contributors
License	BSD-3-Clause
Maintainer	[email protected]
Safe Haskell	Safe-Inferred
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 :: NonEmpty Constraint -> Constraint
- CTrue :: Constraint
- COr :: NonEmpty Constraint -> Constraint
- CAll :: Bind [Name Type] Constraint -> Constraint
cAnd :: [Constraint] -> Constraint
cOr :: [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 :: NonEmpty Constraint -> Constraint
CTrue :: Constraint
COr :: NonEmpty Constraint -> Constraint
CAll :: Bind [Name Type] Constraint -> Constraint

Instances

Instances details

Monoid Constraint Source #
Instance details Defined in Disco.Typecheck.Constraints Methods mempty :: Constraint # mappend :: Constraint -> Constraint -> Constraint # mconcat :: [Constraint] -> 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 #
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 #
Show Constraint Source #
Instance details Defined in Disco.Typecheck.Constraints Methods showsPrec :: Int -> Constraint -> ShowS # show :: Constraint -> String # showList :: [Constraint] -> ShowS #
Pretty Constraint Source #
Instance details Defined in Disco.Typecheck.Constraints Methods pretty :: forall (r :: EffectRow) ann. Members '[Reader PA, LFresh] r => Constraint -> Sem r (Doc ann) Source #
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 #
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 # substBvs :: AlphaCtx -> [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.2-Ic5OYLGQ1QL1sNsEHodldc" '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 (NonEmpty Constraint))) :+: C1 ('MetaCons "CTrue" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "COr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmpty Constraint))) :+: C1 ('MetaCons "CAll" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Bind [Name Type] Constraint))))))

cAnd :: [Constraint] -> Constraint Source #

cOr :: [Constraint] -> Constraint Source #