Documentation

type EqualityConstrained = Bool Source

data Solver Source

data AssumeLiterals Source

data UnitConstant Source

newtype VarCol Source

newtype VarBinder Source

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

data 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

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

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

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