Safe Haskell | None |
---|---|
Language | Haskell2010 |
Documentation
class Variate a where Source #
type VariateResult a :: Type -> Type Source #
type VariateType a :: KnownVariateType Source #
variate :: a -> VariateResult a a Source #
Instances
Variate Bool Source # | |
Defined in Language.Coformat.Variables type VariateResult Bool :: Type -> Type Source # type VariateType Bool :: KnownVariateType Source # | |
Variate Int Source # | |
Defined in Language.Coformat.Variables type VariateResult Int :: Type -> Type Source # type VariateType Int :: KnownVariateType Source # | |
Variate Natural Source # | |
Defined in Language.Coformat.Variables type VariateResult Natural :: Type -> Type Source # type VariateType Natural :: KnownVariateType Source # | |
Variate EnumVar Source # | |
Defined in Language.Coformat.Variables type VariateResult EnumVar :: Type -> Type Source # type VariateType EnumVar :: KnownVariateType Source # |
data Variable varTy where Source #
MkDV :: (Variate a, VariateType a ~ varTy, Foldable (VariateResult a)) => a -> Variable varTy |
data IxedVariable varTy Source #
IxedVariable | |
|
type CategoricalVariate a = (Variate a, VariateType a ~ Categorical) Source #
searchSpace :: Show a => Integral a => a -> [a] Source #
type IntegralVariate a = (Variate a, VariateType a ~ Integral) Source #
type IntegralVariable = Variable Integral Source #
data SomeIxedVariable :: Type where Source #
SomeIxedVariable :: IxedVariable varTy -> SomeIxedVariable |
asSome :: [IxedVariable varTy] -> [SomeIxedVariable] Source #