| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Theory.Drasil.Classes
Description
Defining all the classes which represent knowledge-about-theories.
Synopsis
- class HasInputs c where
- inputs :: Lens' c [(DefinedQuantityDict, Maybe (RealInterval Expr Expr))]
- class HasOutput c where
- output :: Getter c DefinedQuantityDict
- out_constraints :: Getter c [RealInterval Expr Expr]
Documentation
class HasInputs c where Source #
Members of this class may have inputs.
Methods
inputs :: Lens' c [(DefinedQuantityDict, Maybe (RealInterval Expr Expr))] Source #
Provides a Lens that holds a DefinedQuantityDict and maybe constraints.
Instances
| HasInputs InstanceModel Source # | Finds the inputs of an |
Defined in Theory.Drasil.InstanceModel Methods inputs :: Lens' InstanceModel [(DefinedQuantityDict, Maybe (RealInterval Expr Expr))] Source # | |
class HasOutput c where Source #
Members of this class may have outputs.
Methods
output :: Getter c DefinedQuantityDict Source #
Provides a Getter that holds a DefinedQuantityDict for output.
out_constraints :: Getter c [RealInterval Expr Expr] Source #
Provides a Getter that holds constraints on the output.
Instances
| HasOutput DataDefinition Source # | Finds the output variable of the |
Defined in Theory.Drasil.DataDefinition Methods output :: Getter DataDefinition DefinedQuantityDict Source # out_constraints :: Getter DataDefinition [RealInterval Expr Expr] Source # | |
| HasOutput InstanceModel Source # | Finds the outputs and output constraints of an |
Defined in Theory.Drasil.InstanceModel Methods output :: Getter InstanceModel DefinedQuantityDict Source # out_constraints :: Getter InstanceModel [RealInterval Expr Expr] Source # | |