Safe Haskell	Safe-Inferred
Language	Haskell2010

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

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 #
ConceptDomain (ConstraintSet e) Source #	Finds the domain of the `ConstraintSet`.
Instance details Defined in Theory.Drasil.ConstraintSet Methods cdom :: ConstraintSet e -> [UID] #
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 #
HasUID (ConstraintSet e) Source #	Finds the `UID` of the `ConstraintSet`.
Instance details Defined in Theory.Drasil.ConstraintSet Methods uid :: Lens' (ConstraintSet e) UID #
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