| Copyright | (c) Julian Grove and Aaron Steven White 2025 |
|---|---|
| License | MIT |
| Maintainer | julian.grove@gmail.com |
| Safe Haskell | Safe-Inferred |
| Language | Haskell2010 |
Framework.Lambda.Convenience
Description
Convenience functions, smart constructors, etc.
Synopsis
- α :: Type
- β :: Type
- ι :: Type
- ω :: Type
- κ :: Type
- σ :: Type
- e :: Type
- t :: Type
- r :: Type
- q :: Type -> Type -> Type -> Type
- popQ :: Type -> Type -> Type -> Type
- pattern SCon :: String -> Term
- pattern DCon :: Double -> Term
- pattern Fa :: Term
- pattern GetPP :: Term
- pattern One :: Term
- pattern Zero :: Term
- pattern Tr :: Term
- pattern Undefined :: Term
- pattern Bern :: Term -> Term
- pattern CG :: Term -> Term
- pattern Factor :: Term -> Term
- pattern Indi :: Term -> Term
- pattern Max :: Term -> Term
- pattern Neg :: Term -> Term
- pattern Epi :: Term -> Term
- pattern TauKnow :: Term -> Term
- pattern Ling :: Term -> Term
- pattern Phil :: Term -> Term
- pattern Height :: Term -> Term
- pattern DTall :: Term -> Term
- pattern SocPla :: Term -> Term
- pattern Observe :: Term -> Term
- pattern Pr :: Term -> Term
- pattern Prop1 :: Term -> Term
- pattern PopQUD :: Term -> Term
- pattern Add :: Term -> Term -> Term
- pattern And :: Term -> Term -> Term
- pattern Or :: Term -> Term -> Term
- pattern Eq :: Term -> Term -> Term
- pattern GE :: Term -> Term -> Term
- pattern Mult :: Term -> Term -> Term
- pattern Beta :: Term -> Term -> Term
- pattern Normal :: Term -> Term -> Term
- pattern LogitNormal :: Term -> Term -> Term
- pattern UpdEpi :: Term -> Term -> Term
- pattern UpdCG :: Term -> Term -> Term
- pattern UpdLing :: Term -> Term -> Term
- pattern UpdTauKnow :: Term -> Term -> Term
- pattern UpdHeight :: Term -> Term -> Term
- pattern UpdDTall :: Term -> Term -> Term
- pattern UpdSocPla :: Term -> Term -> Term
- pattern UpdProp1 :: Term -> Term -> Term
- pattern PushQUD :: Term -> Term -> Term
- pattern Disj :: Term -> Term -> Term -> Term
- pattern ITE :: Term -> Term -> Term -> Term
- pattern Truncate :: Term -> Term -> Term -> Term
- pattern NormalCDF :: Term -> Term -> Term -> Term
- pattern NormalCDF' :: VarName -> VarName -> Term -> Term -> Term -> Term
- pattern LkUp :: String -> Term -> Term
- pattern Upd :: String -> Term -> Term -> Term
- pattern Pop :: String -> Term -> Term
- pattern Push :: String -> Term -> Term -> Term
- a :: Term
- b :: Term
- c :: Term
- d :: Term
- i :: Term
- j :: Term
- k :: Term
- m :: Term
- n :: Term
- p :: Term
- s :: Term
- u :: Term
- v :: Term
- w :: Term
- x :: Term
- y :: Term
- z :: Term
- _' :: Term
- _0 :: Term
- ϵ :: Term
- prop1 :: Term
- prop2 :: Term
- getPP :: Term
- assert :: Term -> Term
- ask :: Term -> Term
- epi :: Term -> Term
- cg :: Term -> Term
- upd_CG :: Term -> Term -> Term
- pop_qud :: Term -> Term
- push_QUD :: Term -> Term -> Term
- factor :: Term -> Term
- ling :: Term -> Term
- phil :: Term -> Term
- max' :: Term -> Term
- normalL :: Term -> Term
- observe :: Term -> Term
- purePP :: Term -> Term
- putPP :: Term -> Term
- pr :: Term -> Term
- (>>>=) :: Term -> Term -> Term
- (>>>) :: Term -> Term -> Term
- (<**>) :: Term -> Term -> Term
- (<$$>) :: Term -> Term -> Term
- lam :: Term -> Term -> Term
- normal :: Term -> Term -> Term
- let' :: Term -> Term -> Term -> Term
- respond :: Term -> Term -> Term -> Term
- entails :: Term -> Term -> Bool
- cons :: Term -> [Constant]
- sampleOnly :: Term -> Bool
- (<||>) :: Alternative m => (a -> m b) -> (a -> m b) -> a -> m b
- overwrite :: [String] -> Term -> Term -> Term
Convenience functions, smart constructors, etc.
Type abbreviations.
Convenience and smart constructors
Generic functions
sampleOnly :: Term -> Bool Source #
True of probabilistic programs that only sample, i.e., do not perform inference.
(<||>) :: Alternative m => (a -> m b) -> (a -> m b) -> a -> m b Source #
Combining signatures and rules
overwrite :: [String] -> Term -> Term -> Term Source #
Overwrite one state or index onto another, given a list of relevant parameters.