Algebra.Equation.Internal.Eval

Documentation

renderTermN :: Term -> Sig -> Term

renderN :: Sig -> Sig

renderQSConsts :: [Const] -> Sig

renderQSVars :: [Var] -> Sig

renderQSVarType :: [Var] -> Sig

extendSig :: (Show a, Num a, Eq a) => Type -> a -> Sig -> Sig

extendOrd :: (Show a, Num a, Eq a) => Type -> a -> Sig -> Sig

addArrowTypes :: (Num a, Eq a) => Sig -> Type -> a -> Sig

renderQSConst :: Const -> Sig

type ListOfConstants = O List Constant

repToQSRep :: TypeRep -> TypeRep

getRep :: Type -> TypeRep

getVal :: TypeRep -> HasType

data HasType

Constructors

(Ord a, Typeable a) => MkHT a

Instances

Show HasType

Methods

showsPrec :: Int -> HasType -> ShowS

show :: HasType -> String

showList :: [HasType] -> ShowS

sigToSymN :: Term -> Sig -> Symbol

type QSSig = Sig

type Ctx = Context

type Eqs = [Equation]

checkNames :: [Name] -> [Symbol] -> Bool

isIn :: [Symbol] -> String -> Bool

classesFromEqs :: [Equation] -> [[Term]]

addToClasses :: [[Term]] -> Equation -> [[Term]]

combine :: Eq a => [[a]] -> [[a]] -> [[a]]

unSomeClassesN2 :: [Equation] -> Sig -> [Several Expr]

unSomeSortedClasses :: [[Term]] -> Sig -> [[Some Expr]]

unSomeSortedQSClasses :: [[Some Expr]] -> [[Some Expr]]

compareTerms :: Some Expr -> Some Expr -> Ordering

collectExprs :: [[Some Expr]] -> [Several Expr]

mkUnSomeClassN :: Sig -> [Term] -> [Expr a]

mkUnSomeClassN2 :: Sig -> [Term] -> [Some Expr]

mkUnSomeClassN2' :: Sig -> [Term] -> [Some Expr]

unSomePruneN :: [[Expr Term]] -> Sig -> [Equation]

mkCxt :: Typeable a => [[Expr a]] -> Sig -> Context

classesToReps :: [[Expr a]] -> [Term]

mkUniv2N :: Typeable a => [[Expr a]] -> [Tagged Term]

univ2N :: Typeable a => Expr a -> Tagged Term

stripN :: Expr a -> a

term :: Expr a -> Term

mkEqs2N :: Foldable t => t [Expr a] -> [Equation]

termToExprN :: Term -> Sig -> Expr a

newtype Z

Constructors

Z ()

Instances

Eq Z

Methods

(==) :: Z -> Z -> Bool

(/=) :: Z -> Z -> Bool

Ord Z

Methods

compare :: Z -> Z -> Ordering

(<) :: Z -> Z -> Bool

(<=) :: Z -> Z -> Bool

(>) :: Z -> Z -> Bool

(>=) :: Z -> Z -> Bool

max :: Z -> Z -> Z

min :: Z -> Z -> Z

Show Z

Methods

showsPrec :: Int -> Z -> ShowS

show :: Z -> String

showList :: [Z] -> ShowS

newtype S a

Constructors

S a

Instances

Eq a => Eq (S a)

Methods

(==) :: S a -> S a -> Bool

(/=) :: S a -> S a -> Bool

Ord a => Ord (S a)

Methods

compare :: S a -> S a -> Ordering

(<) :: S a -> S a -> Bool

(<=) :: S a -> S a -> Bool

(>) :: S a -> S a -> Bool

(>=) :: S a -> S a -> Bool

max :: S a -> S a -> S a

min :: S a -> S a -> S a

Show a => Show (S a)

Methods

showsPrec :: Int -> S a -> ShowS

show :: S a -> String

showList :: [S a] -> ShowS

showEqsOnLinesN :: [Equation] -> [Equation]

qsEqToEq :: Equation -> Equation

qsTermToTerm :: Term -> Term

symToVar :: Symbol -> Var

symToConst :: Symbol -> Const

splitCommas :: [Char] -> [[Char]]

pruneEqsN :: [Equation] -> [Equation]

doPrune :: [Several Expr] -> Sig -> [Equation]

Orphan instances

Show (Tagged Term)

Methods

showsPrec :: Int -> Tagged Term -> ShowS

show :: Tagged Term -> String

showList :: [Tagged Term] -> ShowS

Eq (a -> b)

Methods

(==) :: (a -> b) -> (a -> b) -> Bool

(/=) :: (a -> b) -> (a -> b) -> Bool

Ord (a -> b)

Methods

compare :: (a -> b) -> (a -> b) -> Ordering

(<) :: (a -> b) -> (a -> b) -> Bool

(<=) :: (a -> b) -> (a -> b) -> Bool

(>) :: (a -> b) -> (a -> b) -> Bool

(>=) :: (a -> b) -> (a -> b) -> Bool

max :: (a -> b) -> (a -> b) -> a -> b

min :: (a -> b) -> (a -> b) -> a -> b