Hets - the Heterogeneous Tool Set

Copyright	(c) J. von Schroeder DFKI Bremen 2012
License	GPLv2 or higher, see LICENSE.txt
Maintainer	Jonathan von Schroeder <jonathan.von_schroeder@dfki.de>
Stability	provisional
Portability	non-portable
Safe Haskell	None

THF.Poly

Contents

Orphan instances

Description

Documentation

sh :: Pretty a => a -> String Source #

data Constraint Source #

Constructors

NormalC (String, Range, Type)
WeakC (String, Range, Type)

Instances

Instances details

Show Constraint Source #
Instance details Defined in THF.Poly Methods showsPrec :: Int -> Constraint -> ShowS show :: Constraint -> String showList :: [Constraint] -> ShowS
GetRange Constraint Source #
Instance details Defined in THF.Poly Methods getRange :: Constraint -> Range Source # rangeSpan :: Constraint -> [Pos] Source #

occursType :: Token -> Type -> Bool Source #

constraintToType :: Constraint -> (Bool, (String, Range, Type)) Source #

toConstraint :: Bool -> (String, Range, Type) -> Constraint Source #

unifyType :: Type -> Constraint -> Result [(Token, Type)] Source #

applyType :: [(Token, Type)] -> Token -> Maybe Type Source #

apply :: [(Token, Type)] -> Type -> Type Source #

unify' :: [(Type, Constraint)] -> Result [(Token, Type)] Source #

tmpV :: Token Source #

type Constraints = UniqueT Result (Type, [(Type, Constraint)]) Source #

not_supported :: (Show a, GetRange a) => a -> Constraints Source #

getTypeC :: ConstMap -> THFFormula -> Constraints Source #

getTypeCLF :: ConstMap -> THFLogicFormula -> Constraints Source #

getTypeCBF :: ConstMap -> THFBinaryFormula -> Constraints Source #

applyResult :: Int -> Type -> UniqueT Result Type Source #

getTypeCUF :: ConstMap -> THFUnitaryFormula -> Constraints Source #

genFn :: [Type] -> Type Source #

insertAndIdx :: (Ord a, Eq b) => Map a [b] -> a -> b -> (Map a [b], Maybe Int) Source #

intToStr :: Int -> String Source #

flattenMap :: Map Constant [a] -> Map Constant a Source #

type RewriteArg = Map Constant (Maybe Int) Source #

rewriteVariableList_ :: (RewriteFuns RewriteArg, RewriteArg) -> [THFVariable] -> Result [THFVariable] Source #

rewriteConst_ :: (RewriteFuns RewriteArg, RewriteArg) -> Constant -> Result THFUnitaryFormula Source #

rewriteConst4needsConst :: (RewriteFuns Constant, Constant) -> Constant -> Result THFUnitaryFormula Source #

needsConst :: Constant -> Named THFFormula -> Bool Source #

infer :: ConstMap -> [Named THFFormula] -> Result (ConstMap, [Named THFFormula]) Source #

typeConstsOf :: Type -> [Constant] Source #

collectVariableTypes :: (AnaFuns a Constant, a) -> [THFVariable] -> Result [Constant] Source #

getSymbols :: SignTHF -> THFFormula -> [SymbolTHF] Source #

type_check :: TypeMap -> ConstMap -> [Named THFFormula] -> Result [[(Token, Type)]] Source #

Orphan instances

GetRange Type Source #
Instance details Methods getRange :: Type -> Range Source # rangeSpan :: Type -> [Pos] Source #