Safe Haskell	None
Language	Haskell2010

Language.Clafer.Common

Documentation

type Result = String Source

transIdent :: PosIdent -> Result Source

mkIdent :: String -> PosIdent Source

mkInteger :: Read a => PosInteger -> a Source

type Ident = PosIdent Source

getSuper :: IClafer -> String Source

getSuperNoArr :: IClafer -> String Source

getSuperId :: [PExp] -> String Source

isEqClaferId :: String -> IClafer -> Bool Source

idToPExp :: String -> Span -> String -> String -> Bool -> PExp Source

mkLClaferId :: String -> Bool -> IExp Source

mkPLClaferId :: String -> Bool -> PExp Source

pExpDefPidPos :: IExp -> PExp Source

pExpDefPid :: Span -> IExp -> PExp Source

pExpDef :: String -> Span -> IExp -> PExp Source

isParent :: PExp -> Bool Source

isClaferName :: PExp -> Bool Source

isClaferName' :: PExp -> Bool Source

getClaferName :: PExp -> String Source

elemToClafer :: IElement -> Maybe IClafer Source

toClafers :: [IElement] -> [IClafer] Source

mapHierarchy :: (IClafer -> b) -> (IClafer -> String) -> [IClafer] -> IClafer -> [b] Source

findHierarchy :: (IClafer -> String) -> [IClafer] -> IClafer -> [IClafer] Source

apply :: forall t t1. (t -> t1) -> t -> (t, t1) Source

bfs :: forall b b1. (b1 -> (b, [b1])) -> [b1] -> [b] Source

toNodeShallow :: IClafer -> (IClafer, [IClafer]) Source

getSubclafers :: [IElement] -> [IClafer] Source

bfsClafers :: [IClafer] -> [IClafer] Source

lurry :: forall t t1. ([t1] -> t) -> t1 -> t1 -> t Source

fst3 :: forall t t1 t2. (t, t1, t2) -> t Source

snd3 :: forall t t1 t2. (t, t1, t2) -> t1 Source

trd3 :: forall t t1 t2. (t, t1, t2) -> t2 Source

toTriple :: forall t t1 t2. t -> (t1, t2) -> (t, t1, t2) Source

toMTriple :: forall t t1 t2. t -> (t1, t2) -> Maybe (t, t1, t2) Source

iNot :: String Source

iCSet :: String Source

iMin :: String Source

iGMax :: String Source

iGMin :: String Source

iSumSet :: String Source

unOps :: [String] Source

iIff :: String Source

iImpl :: String Source

iOr :: String Source

iXor :: String Source

iAnd :: String Source

logBinOps :: [String] Source

iLt :: String Source

iGt :: String Source

iEq :: String Source

iLte :: String Source

iGte :: String Source

iNeq :: String Source

iIn :: String Source

iNin :: String Source

relGenBinOps :: [String] Source

relSetBinOps :: [String] Source

relBinOps :: [String] Source

iPlus :: String Source

iSub :: String Source

iMul :: String Source

iDiv :: String Source

iSumSet' :: String Source

arithBinOps :: [String] Source

iUnion :: String Source

iDifference :: String Source

iIntersection :: String Source

iDomain :: String Source

iRange :: String Source

iJoin :: String Source

setBinOps :: [String] Source

binOps :: [String] Source

iIfThenElse :: String Source

mkIFunExp :: String -> [IExp] -> IExp Source

toLowerS :: String -> String Source

this :: String Source

parent :: String Source

children :: String Source

ref :: String Source

specialNames :: [String] Source

strType :: String Source

intType :: String Source

integerType :: String Source

realType :: String Source

baseClafer :: String Source

modSep :: String Source

primitiveTypes :: [String] Source

isPrimitive :: String -> Bool Source

data GEnv Source

Constructors

GEnv
Fields identCountMap :: Map String Int expCount :: Int stable :: Map UID [[UID]] sClafers :: [IClafer]

Instances

Eq GEnv
Show GEnv

voidf :: Monad m => m t -> m () Source