Copyright	Christian Maeder and Uni Bremen 2006
License	GPLv2 or higher, see LICENSE.txt
Maintainer	Christian.Maeder@dfki.de
Stability	experimental
Portability	portable
Safe Haskell	Safe

Common.Prec

Description

Precedence checking

Synopsis

data PrecMap = PrecMap {
- precMap :: Map Id Int
- maxWeight :: Int
}
emptyPrecMap :: PrecMap
mkPrecIntMap :: Rel Id -> PrecMap
getIdPrec :: PrecMap -> Set Id -> Id -> Int
getSimpleIdPrec :: PrecMap -> Id -> Int
dropPrefix :: [a] -> [b] -> [b]
isLeftArg :: Id -> [a] -> Bool
isRightArg :: Id -> [a] -> Bool
joinPlace :: AssocEither -> Id -> Bool
checkArg :: AssocEither -> GlobalAnnos -> (Id, Int) -> (Id, Int) -> Id -> Bool
nextWeight :: AssocEither -> GlobalAnnos -> Id -> Id -> Id
checkPrec :: GlobalAnnos -> (Id, Int) -> (Id, Int) -> [a] -> (AssocEither -> Id) -> Bool
typeInstTok :: Token
polyId :: Id -> Id
unPolyId :: Id -> Maybe Id
stripPoly :: Id -> Id
getGenPolyTokenList :: String -> Id -> [Token]

Documentation

data PrecMap Source #

a precedence map using numbers for faster lookup

Constructors

PrecMap
Fields precMap :: Map Id Int maxWeight :: Int

Instances

Instances details

Data PrecMap Source #
Instance details Defined in Common.Prec Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> PrecMap -> c PrecMap gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c PrecMap toConstr :: PrecMap -> Constr dataTypeOf :: PrecMap -> DataType dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c PrecMap) dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c PrecMap) gmapT :: (forall b. Data b => b -> b) -> PrecMap -> PrecMap gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> PrecMap -> r gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> PrecMap -> r gmapQ :: (forall d. Data d => d -> u) -> PrecMap -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> PrecMap -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> PrecMap -> m PrecMap gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> PrecMap -> m PrecMap gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> PrecMap -> m PrecMap
Show PrecMap Source #
Instance details Defined in Common.Prec Methods showsPrec :: Int -> PrecMap -> ShowS show :: PrecMap -> String showList :: [PrecMap] -> ShowS
Generic PrecMap
Instance details Defined in HasCASL.ATC_HasCASL Associated Types type Rep PrecMap :: Type -> Type Methods from :: PrecMap -> Rep PrecMap x to :: Rep PrecMap x -> PrecMap
FromJSON PrecMap
Instance details Defined in HasCASL.ATC_HasCASL Methods parseJSON :: Value -> Parser PrecMap parseJSONList :: Value -> Parser [PrecMap]
ToJSON PrecMap
Instance details Defined in HasCASL.ATC_HasCASL Methods toJSON :: PrecMap -> Value toEncoding :: PrecMap -> Encoding toJSONList :: [PrecMap] -> Value toEncodingList :: [PrecMap] -> Encoding
ShATermConvertible PrecMap
Instance details Defined in HasCASL.ATC_HasCASL Methods toShATermAux :: ATermTable -> PrecMap -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [PrecMap] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, PrecMap) fromShATermList' :: Int -> ATermTable -> (ATermTable, [PrecMap])
type Rep PrecMap
Instance details Defined in HasCASL.ATC_HasCASL type Rep PrecMap = D1 ('MetaData "PrecMap" "Common.Prec" "main" 'False) (C1 ('MetaCons "PrecMap" 'PrefixI 'True) (S1 ('MetaSel ('Just "precMap") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map Id Int)) :*: S1 ('MetaSel ('Just "maxWeight") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int)))