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
primBern
two
gensym
mkSym
insertSymbol
insertSymbols
resolveBinder
symbolResolution
symbolResolveBranch
symbolResolvePat
normAST
branchNorm
collapseSuperposes
makeType
makePattern
makeBranch
makeTrue
makeFalse
makeAST
resolveAST
resolveAST'
makeName
fromVarSet