Language.Clafer.Intermediate.Analysis

data AnalysisT m a

type Analysis

class MonadAnalysis m

withExtraClafers

isConcrete

isBase

isDerived

data SSuper

data SClafer

data Info

runAnalysis

runAnalysisT

claferWithUid

parentUid

parentOf

parentsOf

ancestorsOf

directChildrenOf

directDescendantsOf

topNonRootAncestor

refUid

refOf

refsOf

colonUid

colonOf

colonsOf

colonsTo

hierarchy

isDirectChild

isIndirectChild

isChild

class Uidable c

data Anything

class Matchable u

anything

(|^)

(|->)

(|:)

constraintsUnder

rootUid

convertClafer

gatherInfo

liftMaybe

liftList

runListT_

foreach

foreachM

subClafers

superClafers

findAll

select

suchThat

concatMapM

whenM

unlessM

fromMaybeT

mapMaybeT

mapVSupplyT

mapLeft

mapRight

(<:>)

testing

comparing

syntaxOf

combine

sameAs