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 |

# Documentation

data Constraint Source #

#### Instances

Show Constraint Source # | |

Defined in THF.Poly showsPrec :: Int -> Constraint -> ShowS show :: Constraint -> String showList :: [Constraint] -> ShowS | |

GetRange Constraint Source # | |

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

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

toConstraint :: Bool -> (String, Range, Type) -> Constraint 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 #

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

insertAndIdx :: (Ord a, Eq b) => Map a [b] -> a -> b -> (Map a [b], Maybe Int) 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 #