Safe Haskell	None
Language	Haskell2010

Algebra.Equation.Internal.Types

Contents

Orphan instances

Documentation

data Equation Source #

Constructors

Eq Term Term

Instances

Eq Equation Source #
Methods (==) :: Equation -> Equation -> Bool # (/=) :: Equation -> Equation -> Bool #
Show Equation Source #
Methods showsPrec :: Int -> Equation -> ShowS # show :: Equation -> String # showList :: [Equation] -> ShowS #
ToJSON Equation Source #
Methods toJSON :: Equation -> Value # toEncoding :: Equation -> Encoding # toJSONList :: [Equation] -> Value # toEncodingList :: [Equation] -> Encoding #
FromJSON Equation Source #
Methods parseJSON :: Value -> Parser Equation # parseJSONList :: Value -> Parser [Equation] #

data Term Source #

Constructors

App Term Term (Maybe Type)
C Const
V Var

Instances

Eq Term Source #
Methods (==) :: Term -> Term -> Bool # (/=) :: Term -> Term -> Bool #
Ord Term Source #
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 Source #
Methods showsPrec :: Int -> Term -> ShowS # show :: Term -> String # showList :: [Term] -> ShowS #
ToJSON Term Source #
Methods toJSON :: Term -> Value # toEncoding :: Term -> Encoding # toJSONList :: [Term] -> Value # toEncodingList :: [Term] -> Encoding #
FromJSON Term Source #
Methods parseJSON :: Value -> Parser Term # parseJSONList :: Value -> Parser [Term] #

data Sig Source #

Constructors

Sig [Const] [Var]

Instances

Eq Sig Source #
Methods (==) :: Sig -> Sig -> Bool # (/=) :: Sig -> Sig -> Bool #
Show Sig Source #
Methods showsPrec :: Int -> Sig -> ShowS # show :: Sig -> String # showList :: [Sig] -> ShowS #
Monoid Sig Source #
Methods mempty :: Sig # mappend :: Sig -> Sig -> Sig # mconcat :: [Sig] -> Sig #

data Var Source #

Constructors

Var Type Int Arity

Instances

Eq Var Source #
Methods (==) :: Var -> Var -> Bool # (/=) :: Var -> Var -> Bool #
Ord Var Source #
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 Source #
Methods showsPrec :: Int -> Var -> ShowS # show :: Var -> String # showList :: [Var] -> ShowS #
ToJSON Var Source #
Methods toJSON :: Var -> Value # toEncoding :: Var -> Encoding # toJSONList :: [Var] -> Value # toEncodingList :: [Var] -> Encoding #
FromJSON Var Source #
Methods parseJSON :: Value -> Parser Var # parseJSONList :: Value -> Parser [Var] #

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

doCount :: String -> String -> Int64 Source #

data Const Source #

Constructors

Const Arity Name Type

Instances

Eq Const Source #
Methods (==) :: Const -> Const -> Bool # (/=) :: Const -> Const -> Bool #
Ord Const Source #
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 Source #
Methods showsPrec :: Int -> Const -> ShowS # show :: Const -> String # showList :: [Const] -> ShowS #
ToJSON Const Source #
Methods toJSON :: Const -> Value # toEncoding :: Const -> Encoding # toJSONList :: [Const] -> Value # toEncodingList :: [Const] -> Encoding #
FromJSON Const Source #
Methods parseJSON :: Value -> Parser Const # parseJSONList :: Value -> Parser [Const] #

type Type = Type () Source #

stripLoc :: Type a -> Type Source #

data Name Source #

Constructors

Name String

Instances

Eq Name Source #
Methods (==) :: Name -> Name -> Bool # (/=) :: Name -> Name -> Bool #
Ord Name Source #
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 Source #
Methods showsPrec :: Int -> Name -> ShowS # show :: Name -> String # showList :: [Name] -> ShowS #
ToJSON Name Source #
Methods toJSON :: Name -> Value # toEncoding :: Name -> Encoding # toJSONList :: [Name] -> Value # toEncodingList :: [Name] -> Encoding #
FromJSON Name Source #
Methods parseJSON :: Value -> Parser Name # parseJSONList :: Value -> Parser [Name] #

data Arity Source #

Constructors

Arity Int

Instances

Eq Arity Source #
Methods (==) :: Arity -> Arity -> Bool # (/=) :: Arity -> Arity -> Bool #
Num Arity Source #
Methods (+) :: Arity -> Arity -> Arity # (-) :: Arity -> Arity -> Arity # (*) :: Arity -> Arity -> Arity # negate :: Arity -> Arity # abs :: Arity -> Arity # signum :: Arity -> Arity # fromInteger :: Integer -> Arity #
Ord Arity Source #
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 Source #
Methods showsPrec :: Int -> Arity -> ShowS # show :: Arity -> String # showList :: [Arity] -> ShowS #
ToJSON Arity Source #
Methods toJSON :: Arity -> Value # toEncoding :: Arity -> Encoding # toJSONList :: [Arity] -> Value # toEncodingList :: [Arity] -> Encoding #
FromJSON Arity Source #
Methods parseJSON :: Value -> Parser Arity # parseJSONList :: Value -> Parser [Arity] #

emptySig :: Sig Source #

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

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

sigFromEqs :: [Equation] -> Sig Source #

sigFromEq :: Equation -> Sig Source #

eqVars :: Equation -> [Var] Source #

eqConsts :: Equation -> [Const] Source #

termConsts :: Term -> [Const] Source #

termVars :: Term -> [Var] Source #

sigConsts :: Sig -> [Const] Source #

sigVars :: Sig -> [Var] Source #

varName :: Var -> Name Source #

typeName :: Type -> [Char] Source #

varArity :: Var -> Arity Source #

varType :: Var -> Type Source #

constName :: Const -> Name Source #

constArity :: Const -> Arity Source #

constType :: Const -> Type Source #

termType :: Term -> Maybe Type Source #

hasType :: Term -> Bool Source #

setAllTypes :: [Equation] -> [Equation] Source #

setForEq :: Equation -> Equation Source #

setForTerm :: Term -> Term Source #

termType' :: Term -> Type Source #

sigFrom :: [Object] -> Sig Source #

constsFrom :: [Object] -> [Const] Source #

varsFrom :: [Object] -> [Var] Source #

termArity :: Term -> Arity Source #

unName :: Name -> String Source #

consistent :: [Equation] -> Bool Source #

unwrapParens :: Type () -> Type () Source #

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

Orphan instances

ToJSON Type Source #
Methods toJSON :: Type -> Value # toEncoding :: Type -> Encoding # toJSONList :: [Type] -> Value # toEncodingList :: [Type] -> Encoding #
FromJSON Type Source #
Methods parseJSON :: Value -> Parser Type # parseJSONList :: Value -> Parser [Type] #