| Safe Haskell | None |
|---|---|
| Language | GHC2024 |
Language.Drasil.ReasonableValue
Synopsis
- data ReasonableValue
- reasonableValue :: Expr -> Maybe Sentence -> ReasonableValue
- reasV :: Lens' ReasonableValue Expr
- rationale :: Lens' ReasonableValue (Maybe Sentence)
Reasonable Value
data ReasonableValue Source #
Represents a reasonable value (Expr) with an optional
rationale ('Maybe Sentence').
A reasonable value is an example of a value that is physically admissible.
Constructors
reasonableValue :: Expr -> Maybe Sentence -> ReasonableValue Source #
Lenses
reasV :: Lens' ReasonableValue Expr Source #