drasil-theory-0.1.0.0: A framework for code and document generation for scientific software - Theory SubPackage
Safe HaskellSafe-Inferred
LanguageHaskell2010

Theory.Drasil.ConstraintSet

Description

Defines types used in models and theories.

Synopsis

Type

data ConstraintSet e Source #

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

Instances

Instances details
Idea (ConstraintSet e) Source #

Finds the idea of the ConstraintSet.

Instance details

Defined in Theory.Drasil.ConstraintSet

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

HasUID (ConstraintSet e) Source #

Finds the UID of the ConstraintSet.

Instance details

Defined in Theory.Drasil.ConstraintSet

Methods

uid :: Getter (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

Constructors

mkConstraintSet :: ConceptChunk -> NonEmpty e -> ConstraintSet e Source #

Smart constructor for building ConstraintSets