Language.Clafer.Common

Documentation

type Result = String

transIdent :: PosIdent -> Result

mkIdent :: String -> PosIdent

mkInteger :: Read a => PosInteger -> a

type Ident = PosIdent

getSuper :: IClafer -> String

getSuperNoArr :: IClafer -> String

getSuperId :: [PExp] -> String

isEqClaferId :: String -> IClafer -> Bool

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

mkLClaferId :: String -> Bool -> IExp

mkPLClaferId :: String -> Bool -> PExp

pExpDefPidPos :: IExp -> PExp

pExpDefPid :: Span -> IExp -> PExp

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

isParent :: PExp -> Bool

isClaferName :: PExp -> Bool

isClaferName' :: PExp -> Bool

getClaferName :: PExp -> String

elemToClafer :: IElement -> Maybe IClafer

toClafers :: [IElement] -> [IClafer]

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

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

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

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

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

getSubclafers :: [IElement] -> [IClafer]

bfsClafers :: [IClafer] -> [IClafer]

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

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

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

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

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

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

iNot :: String

iCSet :: String

iMin :: String

iGMax :: String

iGMin :: String

iSumSet :: String

unOps :: [String]

iIff :: String

iImpl :: String

iOr :: String

iXor :: String

iAnd :: String

logBinOps :: [String]

iLt :: String

iGt :: String

iEq :: String

iLte :: String

iGte :: String

iNeq :: String

iIn :: String

iNin :: String

relGenBinOps :: [String]

relSetBinOps :: [String]

relBinOps :: [String]

iPlus :: String

iSub :: String

iMul :: String

iDiv :: String

iSumSet' :: String

arithBinOps :: [String]

iUnion :: String

iDifference :: String

iIntersection :: String

iDomain :: String

iRange :: String

iJoin :: String

setBinOps :: [String]

binOps :: [String]

iIfThenElse :: String

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

toLowerS :: String -> String

this :: String

parent :: String

children :: String

ref :: String

specialNames :: [String]

strType :: String

intType :: String

integerType :: String

baseClafer :: String

modSep :: String

primitiveTypes :: [String]

isPrimitive :: String -> Bool

data GEnv

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 ()