Safe Haskell	None
Language	GHC2024

Theory.Drasil.ConstraintSet

Contents

Description

Defines types used in models and theories.

Synopsis

Type

ConstraintSets are sets of invariants that always hold for underlying domains.

Instances details

HasChunkRefs (ConstraintSet e) Source #
Instance details Defined in Theory.Drasil.ConstraintSet Methods chunkRefs :: ConstraintSet e -> Set UID #
HasUID (ConstraintSet e) Source #	Finds the `UID` of the `ConstraintSet`.
Instance details Defined in Theory.Drasil.ConstraintSet Methods uid :: Getter (ConstraintSet e) UID #
Idea (ConstraintSet e) Source #	Finds the idea of the `ConstraintSet`.
Instance details Defined in Theory.Drasil.ConstraintSet Methods getA :: ConstraintSet e -> Maybe String #
NamedIdea (ConstraintSet e) Source #	Finds the term (`NP`) of the `ConstraintSet`.
Instance details Defined in Theory.Drasil.ConstraintSet Methods term :: Lens' (ConstraintSet e) NP #
Definition (ConstraintSet e) Source #	Finds the definition of the `ConstraintSet`.
Instance details Defined in Theory.Drasil.ConstraintSet Methods defn :: Lens' (ConstraintSet e) Sentence #
Express e => Express (ConstraintSet e) Source #	The complete `ModelExpr` of a ConstraintSet is the logical conjunction of all the underlying relations (e.g., `a $&& b $&& ... $&& z`).
Instance details Defined in Theory.Drasil.ConstraintSet Methods express :: ConstraintSet e -> ModelExpr # mexpress :: ConstraintSet e -> NonEmpty ModelExpr #
RequiresChecking (ConstraintSet Expr) Expr Space Source #	Exposes all relations and an expectation of the type of a relation (Bool)
Instance details Defined in Theory.Drasil.ConstraintSet Methods requiredChecks :: ConstraintSet Expr -> [(Expr, Space)] #

Constructors

Smart constructor for building ConstraintSets