Language.Hakaru.Syntax.AST

Syntactic forms

data SCon

data SArgs

data Term

Operators

type LC a

type family LCs (xs :: [Hakaru]) :: [([Hakaru], Hakaru)] where ...

type family UnLCs (xs :: [([Hakaru], Hakaru)]) :: [Hakaru] where ...

data LC_ abt a

data NaryOp

data PrimOp

data ArrayOp

data MeasureOp

Constant values

data Literal

implementation details

foldMapPairs

traversePairs