hakaru-0.3.0: A probabilistic programming language

CopyrightCopyright (c) 2016 the Hakaru team
LicenseBSD3
Maintainerwren@community.haskell.org
Stabilityexperimental
PortabilityGHC-only
Safe HaskellNone
LanguageHaskell2010

Language.Hakaru.Syntax.AST.Sing

Description

Factored out from Language.Hakaru.Syntax.AST.

TODO: if we're not going to have this in Language.Hakaru.Syntax.AST, then we should rename it to Language.Hakaru.Syntax.AST.Sing or the like.

Documentation

sing_NaryOp :: NaryOp a -> Sing a Source #

sing_PrimOp :: PrimOp typs a -> (List1 Sing typs, Sing a) Source #

sing_ArrayOp :: ArrayOp typs a -> (List1 Sing typs, Sing a) Source #

sing_MeasureOp :: MeasureOp typs a -> (List1 Sing typs, Sing a) Source #

sing_Literal :: Literal a -> Sing a Source #