Algebra.Equation.Internal.Types

Documentation

data Equation

Constructors

Eq Term Term

Instances

Eq Equation

Methods

(==) :: Equation -> Equation -> Bool

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

Show Equation

Methods

showsPrec :: Int -> Equation -> ShowS

show :: Equation -> String

showList :: [Equation] -> ShowS

ToJSON Equation

Methods

toJSON :: Equation -> Value

toEncoding :: Equation -> Encoding

toJSONList :: [Equation] -> Value

toEncodingList :: [Equation] -> Encoding

FromJSON Equation

Methods

parseJSON :: Value -> Parser Equation

parseJSONList :: Value -> Parser [Equation]

data Term

Constructors

App Term Term (Maybe Type)

C Const

V Var

Instances

Eq Term

Methods

(==) :: Term -> Term -> Bool

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

Ord Term

Methods

compare :: Term -> Term -> Ordering

(<) :: Term -> Term -> Bool

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

(>) :: Term -> Term -> Bool

(>=) :: Term -> Term -> Bool

max :: Term -> Term -> Term

min :: Term -> Term -> Term

Show Term

Methods

showsPrec :: Int -> Term -> ShowS

show :: Term -> String

showList :: [Term] -> ShowS

ToJSON Term

Methods

toJSON :: Term -> Value

toEncoding :: Term -> Encoding

toJSONList :: [Term] -> Value

toEncodingList :: [Term] -> Encoding

FromJSON Term

Methods

parseJSON :: Value -> Parser Term

parseJSONList :: Value -> Parser [Term]

data Sig

Constructors

Sig [Const] [Var]

Instances

Eq Sig

Methods

(==) :: Sig -> Sig -> Bool

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

Show Sig

Methods

showsPrec :: Int -> Sig -> ShowS

show :: Sig -> String

showList :: [Sig] -> ShowS

Monoid Sig

Methods

mempty :: Sig

mappend :: Sig -> Sig -> Sig

mconcat :: [Sig] -> Sig

data Var

Constructors

Var Type Int Arity

Instances

Eq Var

Methods

(==) :: Var -> Var -> Bool

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

Ord Var

Methods

compare :: Var -> Var -> Ordering

(<) :: Var -> Var -> Bool

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

(>) :: Var -> Var -> Bool

(>=) :: Var -> Var -> Bool

max :: Var -> Var -> Var

min :: Var -> Var -> Var

Show Var

Methods

showsPrec :: Int -> Var -> ShowS

show :: Var -> String

showList :: [Var] -> ShowS

ToJSON Var

Methods

toJSON :: Var -> Value

toEncoding :: Var -> Encoding

toJSONList :: [Var] -> Value

toEncodingList :: [Var] -> Encoding

FromJSON Var

Methods

parseJSON :: Value -> Parser Var

parseJSONList :: Value -> Parser [Var]

countArity :: Num t => Type t1 -> t

doCount :: String -> String -> Int64

data Const

Constructors

Const Arity Name Type

Instances

Eq Const

Methods

(==) :: Const -> Const -> Bool

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

Ord Const

Methods

compare :: Const -> Const -> Ordering

(<) :: Const -> Const -> Bool

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

(>) :: Const -> Const -> Bool

(>=) :: Const -> Const -> Bool

max :: Const -> Const -> Const

min :: Const -> Const -> Const

Show Const

Methods

showsPrec :: Int -> Const -> ShowS

show :: Const -> String

showList :: [Const] -> ShowS

ToJSON Const

Methods

toJSON :: Const -> Value

toEncoding :: Const -> Encoding

toJSONList :: [Const] -> Value

toEncodingList :: [Const] -> Encoding

FromJSON Const

Methods

parseJSON :: Value -> Parser Const

parseJSONList :: Value -> Parser [Const]

type Type = Type ()

stripLoc :: Type a -> Type

data Name

Constructors

Name String

Instances

Eq Name

Methods

(==) :: Name -> Name -> Bool

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

Ord Name

Methods

compare :: Name -> Name -> Ordering

(<) :: Name -> Name -> Bool

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

(>) :: Name -> Name -> Bool

(>=) :: Name -> Name -> Bool

max :: Name -> Name -> Name

min :: Name -> Name -> Name

Show Name

Methods

showsPrec :: Int -> Name -> ShowS

show :: Name -> String

showList :: [Name] -> ShowS

ToJSON Name

Methods

toJSON :: Name -> Value

toEncoding :: Name -> Encoding

toJSONList :: [Name] -> Value

toEncodingList :: [Name] -> Encoding

FromJSON Name

Methods

parseJSON :: Value -> Parser Name

parseJSONList :: Value -> Parser [Name]

data Arity

Constructors

Arity Int

Instances

Eq Arity

Methods

(==) :: Arity -> Arity -> Bool

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

Num Arity

Methods

(+) :: Arity -> Arity -> Arity

(-) :: Arity -> Arity -> Arity

(*) :: Arity -> Arity -> Arity

negate :: Arity -> Arity

abs :: Arity -> Arity

signum :: Arity -> Arity

fromInteger :: Integer -> Arity

Ord Arity

Methods

compare :: Arity -> Arity -> Ordering

(<) :: Arity -> Arity -> Bool

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

(>) :: Arity -> Arity -> Bool

(>=) :: Arity -> Arity -> Bool

max :: Arity -> Arity -> Arity

min :: Arity -> Arity -> Arity

Show Arity

Methods

showsPrec :: Int -> Arity -> ShowS

show :: Arity -> String

showList :: [Arity] -> ShowS

ToJSON Arity

Methods

toJSON :: Arity -> Value

toEncoding :: Arity -> Encoding

toJSONList :: [Arity] -> Value

toEncodingList :: [Arity] -> Encoding

FromJSON Arity

Methods

parseJSON :: Value -> Parser Arity

parseJSONList :: Value -> Parser [Arity]

emptySig :: Sig

withConsts :: [Const] -> Sig -> Sig

withVars :: [Var] -> Sig -> Sig

sigFromEqs :: [Equation] -> Sig

sigFromEq :: Equation -> Sig

eqVars :: Equation -> [Var]

eqConsts :: Equation -> [Const]

termConsts :: Term -> [Const]

termVars :: Term -> [Var]

sigConsts :: Sig -> [Const]

sigVars :: Sig -> [Var]

varName :: Var -> Name

typeName :: Type -> [Char]

varArity :: Var -> Arity

varType :: Var -> Type

constName :: Const -> Name

constArity :: Const -> Arity

constType :: Const -> Type

termType :: Term -> Maybe Type

hasType :: Term -> Bool

setAllTypes :: [Equation] -> [Equation]

setForEq :: Equation -> Equation

setForTerm :: Term -> Term

termType' :: Term -> Type

sigFrom :: [Object] -> Sig

constsFrom :: [Object] -> [Const]

varsFrom :: [Object] -> [Var]

termArity :: Term -> Arity

unName :: Name -> String

consistent :: [Equation] -> Bool

unwrapParens :: Type () -> Type ()

replaceInType :: (Eq t, Show t) => [(Type t, Type ())] -> Type t -> Type ()

Orphan instances

ToJSON Type

Methods

toJSON :: Type -> Value

toEncoding :: Type -> Encoding

toJSONList :: [Type] -> Value

toEncodingList :: [Type] -> Encoding

FromJSON Type

Methods

parseJSON :: Value -> Parser Type

parseJSONList :: Value -> Parser [Type]