Boltzmann.Data.Types

data SomeData m

type SomeData'

data Alias m

type AliasR m

alias

aliasR

coerceAlias

coerceAliases

composeCastM

castM

unSomeData

applyCast

castError

withProxy

reproxy

proxyType

someData'

type Size

data RejectT m a

runRejectT

data AMonadRandom m a

Dictionaries

class MonadRandomLike m