Module

Data.Variant.Gen

Package: purescript-variant-gen
Repository: purescript-open-community/purescript-variant-gen

#genVariantUniform Source

genVariantUniform :: forall genRows rowList variantRows m. MonadGen m => RowToList genRows rowList => GenVariantUniformNonEmptyList rowList genRows variantRows m => Record genRows -> m (Variant variantRows)

#GenVariantUniformNonEmptyList Source

class GenVariantUniformNonEmptyList :: RowList Type -> Row Type -> Row Type -> (Type -> Type) -> Constraintclass GenVariantUniformNonEmptyList (rowList :: RowList Type) (genRows :: Row Type) (variantRows :: Row Type) (m :: Type -> Type) | rowList -> genRows variantRows m where

Members

buildGenVariantUniformNonEmptyList :: Proxy rowList -> Record genRows -> NonEmpty List (m (Variant variantRows))

Instances

(IsSymbol name, Cons name (m a) genRows' genRows, Cons name a variantRows' variantRows, GenVariantUniformList restRowList genRows variantRows m, MonadGen m) => GenVariantUniformNonEmptyList (Cons name (m a) restRowList) genRows variantRows m

#GenVariantUniformList Source

class GenVariantUniformList :: RowList Type -> Row Type -> Row Type -> (Type -> Type) -> Constraintclass GenVariantUniformList (rowList :: RowList Type) (genRows :: Row Type) (variantRows :: Row Type) (m :: Type -> Type) | rowList -> genRows variantRows m where

Members

buildGenVariantUniformList :: Proxy rowList -> Record genRows -> List (m (Variant variantRows))

Instances

(IsSymbol name, Cons name (m a) genRows' genRows, Cons name a variantRows' variantRows, GenVariantUniformList restRowList genRows variantRows m, MonadGen m) => GenVariantUniformList (Cons name (m a) restRowList) genRows variantRows m
(MonadGen m) => GenVariantUniformList Nil genRows variantRows m

#genVariantFrequency Source

genVariantFrequency :: forall genRows rowList variantRows m. MonadGen m => RowToList genRows rowList => GenVariantFrequencyNonEmptyList rowList genRows variantRows m => Record genRows -> m (Variant variantRows)

#GenVariantFrequencyNonEmptyList Source

class GenVariantFrequencyNonEmptyList :: RowList Type -> Row Type -> Row Type -> (Type -> Type) -> Constraintclass GenVariantFrequencyNonEmptyList (rowList :: RowList Type) (genRows :: Row Type) (variantRows :: Row Type) (m :: Type -> Type) | rowList -> genRows variantRows m where

Members

buildGenVariantFrequencyNonEmptyList :: Proxy rowList -> Record genRows -> NonEmpty List (Tuple Number (m (Variant variantRows)))

Instances

(IsSymbol name, Cons name (Tuple Number (m a)) genRows' genRows, Cons name a variantRows' variantRows, GenVariantFrequencyList restRowList genRows variantRows m, MonadGen m) => GenVariantFrequencyNonEmptyList (Cons name (Tuple Number (m a)) restRowList) genRows variantRows m

#GenVariantFrequencyList Source

class GenVariantFrequencyList :: RowList Type -> Row Type -> Row Type -> (Type -> Type) -> Constraintclass GenVariantFrequencyList (rowList :: RowList Type) (genRows :: Row Type) (variantRows :: Row Type) (m :: Type -> Type) | rowList -> genRows variantRows m where

Members

buildGenVariantFrequencyList :: Proxy rowList -> Record genRows -> List (Tuple Number (m (Variant variantRows)))

Instances

(IsSymbol name, Cons name (Tuple Number (m a)) genRows' genRows, Cons name a variantRows' variantRows, GenVariantFrequencyList restRowList genRows variantRows m, MonadGen m) => GenVariantFrequencyList (Cons name (Tuple Number (m a)) restRowList) genRows variantRows m
(MonadGen m) => GenVariantFrequencyList Nil genRows variantRows m

Modules: Data.Variant.Gen