Language.Hakaru.Parser.SymbolResolve
data Symbol a
data Symbol' a
singleton
primPat
pairPat
primTypes
t2
t3
type SymbolTable
primTable
primPrimOp0
primPrimOp1
primPrimOp2
primMeasure1
primMeasure2
primCoerce
primUnsafe
cProb2Real
cNat2Prob
cNat2Int
cInt2Real
cNat2Real
unit_
true_
false_
unsafeFrom_
primLeft
primRight
primJust
primNothing
primWeight
primFactor
two
gensym
mkSym
insertSymbol
insertSymbols
resolveBinder
symbolResolution
symbolResolutionReducer
symbolResolveBranch
symbolResolvePat
normAST
branchNorm
redNorm
collapseSuperposes
makeType
makePattern
makeBranch
makeTrue
makeFalse
makeReducerAST
makeAST
withName
resolveAST
resolveAST'
makeName
fromVarSet