| Copyright | (c) Julian Grove and Aaron Steven White 2025 |
|---|---|
| License | MIT |
| Maintainer | julian.grove@gmail.com |
| Safe Haskell | Safe-Inferred |
| Language | Haskell2010 |
Framework.Lambda.Signature
Description
Signatures for constants used across the framework.
Synopsis
- mkStackSig :: Type -> (Type -> Type) -> (Type -> Type) -> [(String, Type)] -> Sig
- mkStateSig :: Type -> [(String, Type)] -> Sig
- tau0 :: Sig
- tauArithmetic :: Sig
- tauIndicesInit :: Sig
- tauLogical :: Sig
- tauProbProg :: Sig
- tauReals :: Sig
- tauStatesInit :: Sig
Documentation
mkStackSig :: Type -> (Type -> Type) -> (Type -> Type) -> [(String, Type)] -> Sig Source #
Make signatures for pushing to and popping from stacks.
mkStateSig :: Type -> [(String, Type)] -> Sig Source #
Make signatures for updating and accessing states.
tauArithmetic :: Sig Source #
Some arithmetic operators.
tauIndicesInit :: Sig Source #
Initial indices.
tauLogical :: Sig Source #
Logical constants and operators defind thereon.
tauProbProg :: Sig Source #
Various useful probability distributions and operators defined thereon.
tauStatesInit :: Sig Source #
Initial states.