Language.Coformat.Variables

Documentation

data KnownVariateType

Constructors

Categorical

Integral

class Variate a where

Associated Types

type VariateResult a :: Type -> Type

type VariateType a :: KnownVariateType

Methods

variate :: a -> VariateResult a a

varPrism :: Prism' (ConfigTypeT Value) a

Instances

Variate Bool

Defined in Language.Coformat.Variables

Associated Types

type VariateResult Bool :: Type -> Type

type VariateType Bool :: KnownVariateType

Methods

variate :: Bool -> VariateResult Bool Bool

varPrism :: Prism' (ConfigTypeT Value) Bool

Variate Int

Defined in Language.Coformat.Variables

Associated Types

type VariateResult Int :: Type -> Type

type VariateType Int :: KnownVariateType

Methods

variate :: Int -> VariateResult Int Int

varPrism :: Prism' (ConfigTypeT Value) Int

Variate Natural

Defined in Language.Coformat.Variables

Associated Types

type VariateResult Natural :: Type -> Type

type VariateType Natural :: KnownVariateType

Methods

variate :: Natural -> VariateResult Natural Natural

varPrism :: Prism' (ConfigTypeT Value) Natural

Variate EnumVar

Defined in Language.Coformat.Variables

Associated Types

type VariateResult EnumVar :: Type -> Type

type VariateType EnumVar :: KnownVariateType

Methods

variate :: EnumVar -> VariateResult EnumVar EnumVar

varPrism :: Prism' (ConfigTypeT Value) EnumVar

data Variable varTy where

Constructors

MkDV :: (Variate a, VariateType a ~ varTy, Foldable (VariateResult a)) => a -> Variable varTy

data IxedVariable varTy

Constructors

IxedVariable

Fields

• discreteVar :: Variable varTy
• varIdx :: Int

type CategoricalVariate a = (Variate a, VariateType a ~ Categorical)

type CategoricalVariable = Variable Categorical

type IxedCategoricalVariable = IxedVariable Categorical

type EnumVar = ([Text], Text)

typToDV :: ConfigTypeT Value -> Maybe CategoricalVariable

searchSpace :: Show a => Integral a => a -> [a]

type IntegralVariate a = (Variate a, VariateType a ~ Integral)

type IntegralVariable = Variable Integral

type IxedIntegralVariable = IxedVariable Integral

typToIV :: ConfigTypeT Value -> Maybe IntegralVariable

data SomeIxedVariable :: Type where

Constructors

SomeIxedVariable :: IxedVariable varTy -> SomeIxedVariable

asSome :: [IxedVariable varTy] -> [SomeIxedVariable]