Language.Hakaru.Parser.AST

Synopsis

• data Name = Name !Nat !Text
• nameID :: Name -> Nat
• hintID :: Name -> Text
• type Name' = Text
• data Branch' a
  • = Branch' (Pattern' Name') (AST' a)
  • | Branch'' (Pattern' Name) (AST' a)
• data Pattern' a
  • = PVar' a
  • | PWild'
  • | PData' (PDatum a)
• data PDatum a = DV Name' [Pattern' a]
• data SourceSpan = SourceSpan !SourcePos !SourcePos
• numberLine :: Text -> Int -> Text
• printSourceSpan :: SourceSpan -> Vector Text -> Text
• data Literal'
  • = Nat Integer
  • | Int Integer
  • | Prob Rational
  • | Real Rational
• data NaryOp
  • = And
  • | Or
  • | Xor
  • | Iff
  • | Min
  • | Max
  • | Sum
  • | Prod
• data ArrayOp
  • = Index_
  • | Size
  • | Reduce
• data TypeAST'
  • = TypeVar Name'
  • | TypeApp Name' [TypeAST']
  • | TypeFun TypeAST' TypeAST'
• data AST' a
  • = Var a
  • | Lam a TypeAST' (AST' a)
  • | App (AST' a) (AST' a)
  • | Let a (AST' a) (AST' a)
  • | If (AST' a) (AST' a) (AST' a)
  • | Ann (AST' a) TypeAST'
  • | Infinity'
  • | ULiteral Literal'
  • | NaryOp NaryOp [AST' a]
  • | Unit
  • | Empty
  • | Pair (AST' a) (AST' a)
  • | Array a (AST' a) (AST' a)
  • | Index (AST' a) (AST' a)
  • | Case (AST' a) [Branch' a]
  • | Dirac (AST' a)
  • | Bind a (AST' a) (AST' a)
  • | Plate a (AST' a) (AST' a)
  • | Chain a (AST' a) (AST' a) (AST' a)
  • | Integrate a (AST' a) (AST' a) (AST' a)
  • | Summate a (AST' a) (AST' a) (AST' a)
  • | Product a (AST' a) (AST' a) (AST' a)
  • | Expect a (AST' a) (AST' a)
  • | Observe (AST' a) (AST' a)
  • | Msum [AST' a]
  • | Data a [TypeAST']
  • | WithMeta (AST' a) SourceSpan
• data Import a = Import a
• data ASTWithImport' a = ASTWithImport' [Import a] (AST' a)
• val :: Literal' -> Some1 Literal
• data PrimOp
  • = Not
  • | Impl
  • | Diff
  • | Nand
  • | Nor
  • | Pi
  • | Sin
  • | Cos
  • | Tan
  • | Asin
  • | Acos
  • | Atan
  • | Sinh
  • | Cosh
  • | Tanh
  • | Asinh
  • | Acosh
  • | Atanh
  • | RealPow
  • | NatPow
  • | Exp
  • | Log
  • | Infinity
  • | GammaFunc
  • | BetaFunc
  • | Equal
  • | Less
  • | Negate
  • | Recip
  • | Abs
  • | Signum
  • | NatRoot
  • | Erf
• data SomeOp op where
  • SomeOp :: (typs ~ UnLCs args, args ~ LCs typs) => !(op typs a) -> SomeOp op
• data SSing = SSing !(Sing a)
• data Branch_ abt = Branch_ Pattern (abt '[] U)
• fmapBranch :: (f '[] U -> g '[] U) -> Branch_ f -> Branch_ g
• foldBranch :: (abt '[] U -> m) -> Branch_ abt -> m
• data Pattern
  • = PWild
  • | PVar Name
  • | PDatum Text PCode
• data PFun
  • = PKonst Pattern
  • | PIdent Pattern
• data PStruct
  • = PEt PFun PStruct
  • | PDone
• data PCode
  • = PInr PCode
  • | PInl PStruct
• data DFun abt
  • = Konst (abt '[] U)
  • | Ident (abt '[] U)
• data DStruct abt
  • = Et (DFun abt) (DStruct abt)
  • | Done
• data DCode abt
  • = Inr (DCode abt)
  • | Inl (DStruct abt)
• data Datum abt = Datum Text (DCode abt)
• fmapDatum :: (f '[] U -> g '[] U) -> Datum f -> Datum g
• foldDatum :: Monoid m => (abt '[] U -> m) -> Datum abt -> m
• data Untyped = U
• nameToVar :: Name -> Variable U
• data Term :: ([Untyped] -> Untyped -> *) -> Untyped -> * where
  • Lam_ :: SSing -> abt '[U] U -> Term abt U
  • App_ :: abt '[] U -> abt '[] U -> Term abt U
  • Let_ :: abt '[] U -> abt '[U] U -> Term abt U
  • Ann_ :: SSing -> abt '[] U -> Term abt U
  • CoerceTo_ :: Some2 Coercion -> abt '[] U -> Term abt U
  • UnsafeTo_ :: Some2 Coercion -> abt '[] U -> Term abt U
  • PrimOp_ :: PrimOp -> [abt '[] U] -> Term abt U
  • ArrayOp_ :: ArrayOp -> [abt '[] U] -> Term abt U
  • MeasureOp_ :: SomeOp MeasureOp -> [abt '[] U] -> Term abt U
  • NaryOp_ :: NaryOp -> [abt '[] U] -> Term abt U
  • Literal_ :: Some1 Literal -> Term abt U
  • Empty_ :: Term abt U
  • Pair_ :: abt '[] U -> abt '[] U -> Term abt U
  • Array_ :: abt '[] U -> abt '[U] U -> Term abt U
  • Datum_ :: Datum abt -> Term abt U
  • Case_ :: abt '[] U -> [Branch_ abt] -> Term abt U
  • Dirac_ :: abt '[] U -> Term abt U
  • MBind_ :: abt '[] U -> abt '[U] U -> Term abt U
  • Plate_ :: abt '[] U -> abt '[U] U -> Term abt U
  • Chain_ :: abt '[] U -> abt '[] U -> abt '[U] U -> Term abt U
  • Integrate_ :: abt '[] U -> abt '[] U -> abt '[U] U -> Term abt U
  • Summate_ :: abt '[] U -> abt '[] U -> abt '[U] U -> Term abt U
  • Product_ :: abt '[] U -> abt '[] U -> abt '[U] U -> Term abt U
  • Expect_ :: abt '[] U -> abt '[U] U -> Term abt U
  • Observe_ :: abt '[] U -> abt '[] U -> Term abt U
  • Superpose_ :: NonEmpty (abt '[] U, abt '[] U) -> Term abt U
  • Reject_ :: Term abt U
• type AST = MetaABT SourceSpan Term '[] U
• type MetaTerm = Term (MetaABT SourceSpan Term) U
• type Branch = Branch_ (MetaABT SourceSpan Term)
• type DFun_ = DFun (MetaABT SourceSpan Term)
• type DStruct_ = DStruct (MetaABT SourceSpan Term)
• type DCode_ = DCode (MetaABT SourceSpan Term)

Documentation