Safe Haskell	None
Language	Haskell98

Extensions.UnitsEnvironment

Documentation

type EqualityConstrained = Bool Source

data Solver Source

Constructors

LAPACK
Custom

Instances

Eq Solver Source
Read Solver Source
Show Solver Source

data AssumeLiterals Source

Constructors

Poly
Unitless
Mixed

Instances

Eq AssumeLiterals Source
Read AssumeLiterals Source
Show AssumeLiterals Source

data UnitConstant Source

Constructors

Unitful [(MeasureUnit, Rational)]
UnitlessC Rational

Instances

Eq UnitConstant Source
Fractional UnitConstant Source
Num UnitConstant Source
Show UnitConstant Source

newtype VarCol Source

Constructors

VarCol Col

Instances

Eq VarCol Source
Show VarCol Source
UpdateColInfo ProcedureEnv Source
UpdateColInfo Procedure Source
UpdateColInfo VarColEnv Source
UpdateColInfo VarCol Source

newtype VarBinder Source

Constructors

VarBinder (Variable, SrcSpan)

Instances

Show VarBinder Source
UpdateColInfo VarColEnv Source

type VarColEnv = [(VarBinder, (VarCol, [VarCol]))] Source

data UnitVarCategory Source

Constructors

Literal EqualityConstrained
Temporary
Variable
Argument
Magic

Instances

Eq UnitVarCategory Source
Show UnitVarCategory Source

type DerivedUnitEnv = [(MeasureUnit, UnitConstant)] Source

type ProcedureNames = (String, Maybe Variable, [Variable]) Source

type Procedure = (Maybe VarCol, [VarCol]) Source

type ProcedureEnv = [(String, Procedure)] Source

type LinearSystem = (Matrix Rational, [UnitConstant]) Source

type Row = Int Source

type Col = Int Source

type DebugInfo = [(Col, (SrcSpan, String))] Source

data UnitEnv Source

Constructors

UnitEnv

Fields

_report :: [String]
_varColEnv :: VarColEnv
_derivedUnitEnv :: DerivedUnitEnv
_procedureEnv :: ProcedureEnv
_calls :: ProcedureEnv
_unitVarCats :: [UnitVarCategory]
_reorderedCols :: [Int]
_underdeterminedCols :: [Int]
_linearSystem :: LinearSystem
_debugInfo :: DebugInfo
_tmpRowsAdded :: [Int]
_tmpColsAdded :: [Int]
_success :: Bool
_evUnitsAdded :: (Int, [String])
_evCriticals :: [Int]

Instances

Show UnitEnv Source

emptyUnitEnv :: UnitEnv Source

varColEnv :: forall cat. ArrowApply cat => Lens cat UnitEnv VarColEnv Source

unitVarCats :: forall cat. ArrowApply cat => Lens cat UnitEnv [UnitVarCategory] Source

underdeterminedCols :: forall cat. ArrowApply cat => Lens cat UnitEnv [Int] Source

tmpRowsAdded :: forall cat. ArrowApply cat => Lens cat UnitEnv [Int] Source

tmpColsAdded :: forall cat. ArrowApply cat => Lens cat UnitEnv [Int] Source

success :: forall cat. ArrowApply cat => Lens cat UnitEnv Bool Source

report :: forall cat. ArrowApply cat => Lens cat UnitEnv [String] Source

reorderedCols :: forall cat. ArrowApply cat => Lens cat UnitEnv [Int] Source

procedureEnv :: forall cat. ArrowApply cat => Lens cat UnitEnv ProcedureEnv Source

linearSystem :: forall cat. ArrowApply cat => Lens cat UnitEnv LinearSystem Source

evUnitsAdded :: forall cat. ArrowApply cat => Lens cat UnitEnv (Int, [String]) Source

evCriticals :: forall cat. ArrowApply cat => Lens cat UnitEnv [Int] Source

derivedUnitEnv :: forall cat. ArrowApply cat => Lens cat UnitEnv DerivedUnitEnv Source

debugInfo :: forall cat. ArrowApply cat => Lens cat UnitEnv DebugInfo Source

calls :: forall cat. ArrowApply cat => Lens cat UnitEnv ProcedureEnv Source

resetTemps :: State UnitEnv () Source

trim :: [(t, Rational)] -> [(t, Rational)] Source

data Consistency a Source

Constructors

Ok a
Bad a Int (UnitConstant, [Rational])

Instances

Show a => Show (Consistency a) Source

efmap :: (a -> a) -> Consistency a -> Consistency a Source

ifDebug :: (?debug :: Bool, Monad m) => m a -> m () Source