Safe Haskell | None |
---|---|
Language | Haskell2010 |
Documentation
type family MinBoxVec (v1 :: * -> *) (v2 :: * -> *) :: * -> * Source #
type family MayBoxVec a :: * -> * Source #
Instances
type MayBoxVec Bool Source # | |
Defined in Language.Hakaru.Runtime.Prelude | |
type MayBoxVec Double Source # | |
Defined in Language.Hakaru.Runtime.Prelude | |
type MayBoxVec Int Source # | |
Defined in Language.Hakaru.Runtime.Prelude | |
type MayBoxVec () Source # | |
Defined in Language.Hakaru.Runtime.Prelude | |
type MayBoxVec (Vector a) Source # | |
Defined in Language.Hakaru.Runtime.Prelude | |
type MayBoxVec (Vector a) Source # | |
Defined in Language.Hakaru.Runtime.Prelude | |
type MayBoxVec (a, b) Source # | |
Defined in Language.Hakaru.Runtime.Prelude |
r_index :: Vector (MayBoxVec a) a => (xs -> Int) -> ((Int, xs) -> Int) -> Reducer (Int, xs) s a -> Reducer xs s (MayBoxVec a a) Source #
unsafeProb :: Double -> Prob Source #
prob_ :: NonNegativeRational -> Prob Source #