Hets - the Heterogeneous Tool Set

Copyright(c) J. von Schroeder DFKI Bremen 2012
LicenseGPLv2 or higher, see LICENSE.txt
MaintainerJonathan von Schroeder <jonathan.von_schroeder@dfki.de>
Stabilityprovisional
Portabilitynon-portable
Safe HaskellNone

THF.Poly

Contents

Description

 

Documentation

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

data Constraint Source #

Constructors

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

Instances

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

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

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

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

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

not_supported :: (Show a, GetRange a) => a -> Constraints 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 #

Orphan instances