Module

Classless.Arbitrary

Package: purescript-classless-arbitrary
Repository: thought2/purescript-classless-arbitrary

#Arbitrary Source

type Arbitrary a = Gen a

#additive Source

additive :: forall a. Arbitrary a -> Arbitrary (Additive a)

#array Source

array :: forall a. Arbitrary a -> Arbitrary (Array a)

#boolean Source

boolean :: Arbitrary Boolean

#char Source

char :: Arbitrary Char

#Record Source

class Record :: Row Type -> Row Type -> Constraintclass Record rspec r | r -> rspec where

Members

record :: Record rspec -> Arbitrary (Record r)

Instances

(SequenceRecord rspec r Gen) => Record rspec r

#Sum Source

class Sum :: Row Type -> Type -> Constraintclass Sum ri a | a -> ri where

Members

sum :: Record ri -> Gen a

Instances

(Generic a rep, GetCases ri rep ro', HMap (MapRepToA a) (Record ro') (Record ro), HomRecToNEA ro (Gen a), Homogeneous ro (Gen a), Homogeneous ro' (Gen rep)) => Sum ri a

#conj Source

conj :: forall a. Arbitrary a -> Arbitrary (Conj a)

#disj Source

disj :: forall a. Arbitrary a -> Arbitrary (Disj a)

#dual Source

dual :: forall a. Arbitrary a -> Arbitrary (Dual a)

#either Source

either :: forall a b. Arbitrary a -> Arbitrary b -> Arbitrary (Either a b)

#first Source

first :: forall a. Arbitrary a -> Arbitrary (First a)

#identity Source

identity :: forall a. Arbitrary a -> Arbitrary (Identity a)

#int Source

int :: Arbitrary Int

#last Source

last :: forall a. Arbitrary a -> Arbitrary (Last a)

#list Source

list :: forall a. Arbitrary a -> Arbitrary (List a)

#maybe Source

maybe :: forall a. Arbitrary a -> Arbitrary (Maybe a)

#multiplicative Source

multiplicative :: forall a. Arbitrary a -> Arbitrary (Multiplicative a)

#nonEmptyArray Source

nonEmptyArray :: forall a. Arbitrary a -> Arbitrary (NonEmptyArray a)

#nonEmptyString Source

nonEmptyString :: Arbitrary NonEmptyString

#number Source

number :: Arbitrary Number

#ordering Source

ordering :: Arbitrary Ordering

#string Source

string :: Arbitrary String

#tuple Source

tuple :: forall a b. Arbitrary a -> Arbitrary b -> Arbitrary (Tuple a b)

#record' Source

record' :: forall rspec r. SequenceRecord rspec r Gen => Record rspec -> Arbitrary (Record r)

#unit Source

unit :: Arbitrary Unit

#GetCases Source

class GetCases :: Row Type -> Type -> Row Type -> Constraintclass GetCases (ri :: Row Type) (rep :: Type) (ro :: Row Type) | rep ri -> ro where

Members

getCases :: Record ri -> Proxy rep -> Record ro

Instances

(Cons sym (Gen (Constructor sym genRep)) () ro, Cons sym prodSpec () ri, SequenceProduct prodSpec genRep Gen, IsSymbol sym) => GetCases ri (Constructor sym rep) ro
(GetCases riA repA roA, GetCases riB repB roB, Cons sym y () riA, Cons sym y riB ri, Lacks sym riB, TypeEquals repA (Constructor sym x), HMap MapInl (Record roA) (Record roA'), HMap MapInr (Record roB) (Record roB'), Union roA' roB' ro, IsSymbol sym, Union riA riB ri, Union riB riA ri) => GetCases ri (Sum repA repB) ro

#MapInl Source

data MapInl

Constructors

MapInl

Instances

Mapping MapInl (Gen a) (Gen (Sum a b))

#MapInr Source

data MapInr

Constructors

MapInr

Instances

Mapping MapInr (Gen b) (Gen (Sum a b))

#MapRepToA Source

data MapRepToA (a :: Type)

Constructors

D (Proxy a)

Instances

(Generic a rep, Functor f) => Mapping (MapRepToA a) (f rep) (f a)

#HomRecToNEA Source

class HomRecToNEA :: Row Type -> Type -> Constraintclass HomRecToNEA r a  where

Members

homRecToNEA :: Record r -> NonEmptyArray a

Instances

(Homogeneous r a, HFoldl ToNEA Unit (Record r) (NonEmptyArray a)) => HomRecToNEA r a

#ToNEA Source

data ToNEA

Constructors

ToNEA

Instances

Folding ToNEA Unit a (NonEmptyArray a)
Folding ToNEA (NonEmptyArray a) a (NonEmptyArray a)

Modules: Classless.Arbitrary