Internal.Semigroup.Tuple

Documentation

data Variable

Constructors

A

B

C

D

Instances

Bounded Variable

Defined in Internal.Semigroup.Tuple

Methods

minBound :: Variable

maxBound :: Variable

Enum Variable

Defined in Internal.Semigroup.Tuple

Methods

succ :: Variable -> Variable

pred :: Variable -> Variable

toEnum :: Int -> Variable

fromEnum :: Variable -> Int

enumFrom :: Variable -> [Variable]

enumFromThen :: Variable -> Variable -> [Variable]

enumFromTo :: Variable -> Variable -> [Variable]

enumFromThenTo :: Variable -> Variable -> Variable -> [Variable]

Show Variable

Defined in Internal.Semigroup.Tuple

Methods

showsPrec :: Int -> Variable -> ShowS

show :: Variable -> String

showList :: [Variable] -> ShowS

Eq Variable

Defined in Internal.Semigroup.Tuple

Methods

(==) :: Variable -> Variable -> Bool

(/=) :: Variable -> Variable -> Bool

Ord Variable

Defined in Internal.Semigroup.Tuple

Methods

compare :: Variable -> Variable -> Ordering

(<) :: Variable -> Variable -> Bool

(<=) :: Variable -> Variable -> Bool

(>) :: Variable -> Variable -> Bool

(>=) :: Variable -> Variable -> Bool

max :: Variable -> Variable -> Variable

min :: Variable -> Variable -> Variable

bindVariable :: BindingSet s -> Variable -> s

newtype VariableSum

Constructors

VariableSum (NonEmpty Variable)

Instances

Arbitrary VariableSum

Defined in Internal.Semigroup.Tuple

Methods

arbitrary :: Gen VariableSum

shrink :: VariableSum -> [VariableSum]

Semigroup VariableSum

Defined in Internal.Semigroup.Tuple

Methods

(<>) :: VariableSum -> VariableSum -> VariableSum

sconcat :: NonEmpty VariableSum -> VariableSum

stimes :: Integral b => b -> VariableSum -> VariableSum

Show VariableSum

Defined in Internal.Semigroup.Tuple

Methods

showsPrec :: Int -> VariableSum -> ShowS

show :: VariableSum -> String

showList :: [VariableSum] -> ShowS

Eq VariableSum

Defined in Internal.Semigroup.Tuple

Methods

(==) :: VariableSum -> VariableSum -> Bool

(/=) :: VariableSum -> VariableSum -> Bool

Ord VariableSum

Defined in Internal.Semigroup.Tuple

Methods

compare :: VariableSum -> VariableSum -> Ordering

(<) :: VariableSum -> VariableSum -> Bool

(<=) :: VariableSum -> VariableSum -> Bool

(>) :: VariableSum -> VariableSum -> Bool

(>=) :: VariableSum -> VariableSum -> Bool

max :: VariableSum -> VariableSum -> VariableSum

min :: VariableSum -> VariableSum -> VariableSum

a :: VariableSum

b :: VariableSum

c :: VariableSum

d :: VariableSum

genVariableSum :: Gen VariableSum

bindVariableSum :: BindingSet s -> VariableSum -> NonEmpty s

evalVariableSum :: Semigroup s => BindingSet s -> VariableSum -> s

showVariableSum :: Show s => BindingSet s -> VariableSum -> String

data BindingSet s

Constructors

BindingSet

Fields

• bindingForA :: s
• bindingForB :: s
• bindingForC :: s
• bindingForD :: s

Instances

Arbitrary s => Arbitrary (BindingSet s)

Defined in Internal.Semigroup.Tuple

Methods

arbitrary :: Gen (BindingSet s)

shrink :: BindingSet s -> [BindingSet s]

Generic (BindingSet s)

Defined in Internal.Semigroup.Tuple

Associated Types

type Rep (BindingSet s) :: Type -> Type

Methods

from :: BindingSet s -> Rep (BindingSet s) x

to :: Rep (BindingSet s) x -> BindingSet s

Show s => Show (BindingSet s)

Defined in Internal.Semigroup.Tuple

Methods

showsPrec :: Int -> BindingSet s -> ShowS

show :: BindingSet s -> String

showList :: [BindingSet s] -> ShowS

Eq s => Eq (BindingSet s)

Defined in Internal.Semigroup.Tuple

Methods

(==) :: BindingSet s -> BindingSet s -> Bool

(/=) :: BindingSet s -> BindingSet s -> Bool

Ord s => Ord (BindingSet s)

Defined in Internal.Semigroup.Tuple

Methods

compare :: BindingSet s -> BindingSet s -> Ordering

(<) :: BindingSet s -> BindingSet s -> Bool

(<=) :: BindingSet s -> BindingSet s -> Bool

(>) :: BindingSet s -> BindingSet s -> Bool

(>=) :: BindingSet s -> BindingSet s -> Bool

max :: BindingSet s -> BindingSet s -> BindingSet s

min :: BindingSet s -> BindingSet s -> BindingSet s

type Rep (BindingSet s)

Defined in Internal.Semigroup.Tuple

type Rep (BindingSet s) = D1 ('MetaData "BindingSet" "Internal.Semigroup.Tuple" "quickcheck-groups-0.0.1.1-LDXEC82JndU6yQMeMgDBQI-internal" 'False) (C1 ('MetaCons "BindingSet" 'PrefixI 'True) ((S1 ('MetaSel ('Just "bindingForA") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 s) :*: S1 ('MetaSel ('Just "bindingForB") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 s)) :*: (S1 ('MetaSel ('Just "bindingForC") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 s) :*: S1 ('MetaSel ('Just "bindingForD") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 s))))

genBindingSet :: Arbitrary s => Gen (BindingSet s)

shrinkBindingSet :: Arbitrary s => BindingSet s -> [BindingSet s]

data Tuple1 s

Constructors

Tuple1 VariableSum (BindingSet s)

Instances

Arbitrary a => Arbitrary (Tuple1 a)

Defined in Internal.Semigroup.Tuple

Methods

arbitrary :: Gen (Tuple1 a)

shrink :: Tuple1 a -> [Tuple1 a]

(Show s, Semigroup s) => Show (Tuple1 s)

Defined in Internal.Semigroup.Tuple

Methods

showsPrec :: Int -> Tuple1 s -> ShowS

show :: Tuple1 s -> String

showList :: [Tuple1 s] -> ShowS

Eq s => Eq (Tuple1 s)

Defined in Internal.Semigroup.Tuple

Methods

(==) :: Tuple1 s -> Tuple1 s -> Bool

(/=) :: Tuple1 s -> Tuple1 s -> Bool

Ord s => Ord (Tuple1 s)

Defined in Internal.Semigroup.Tuple

Methods

compare :: Tuple1 s -> Tuple1 s -> Ordering

(<) :: Tuple1 s -> Tuple1 s -> Bool

(<=) :: Tuple1 s -> Tuple1 s -> Bool

(>) :: Tuple1 s -> Tuple1 s -> Bool

(>=) :: Tuple1 s -> Tuple1 s -> Bool

max :: Tuple1 s -> Tuple1 s -> Tuple1 s

min :: Tuple1 s -> Tuple1 s -> Tuple1 s

data Tuple2 s

Constructors

Tuple2 VariableSum VariableSum (BindingSet s)

Instances

Arbitrary a => Arbitrary (Tuple2 a)

Defined in Internal.Semigroup.Tuple

Methods

arbitrary :: Gen (Tuple2 a)

shrink :: Tuple2 a -> [Tuple2 a]

(Show s, Semigroup s) => Show (Tuple2 s)

Defined in Internal.Semigroup.Tuple

Methods

showsPrec :: Int -> Tuple2 s -> ShowS

show :: Tuple2 s -> String

showList :: [Tuple2 s] -> ShowS

Eq s => Eq (Tuple2 s)

Defined in Internal.Semigroup.Tuple

Methods

(==) :: Tuple2 s -> Tuple2 s -> Bool

(/=) :: Tuple2 s -> Tuple2 s -> Bool

Ord s => Ord (Tuple2 s)

Defined in Internal.Semigroup.Tuple

Methods

compare :: Tuple2 s -> Tuple2 s -> Ordering

(<) :: Tuple2 s -> Tuple2 s -> Bool

(<=) :: Tuple2 s -> Tuple2 s -> Bool

(>) :: Tuple2 s -> Tuple2 s -> Bool

(>=) :: Tuple2 s -> Tuple2 s -> Bool

max :: Tuple2 s -> Tuple2 s -> Tuple2 s

min :: Tuple2 s -> Tuple2 s -> Tuple2 s

data Tuple3 s

Constructors

Tuple3 VariableSum VariableSum VariableSum (BindingSet s)

Instances

Arbitrary a => Arbitrary (Tuple3 a)

Defined in Internal.Semigroup.Tuple

Methods

arbitrary :: Gen (Tuple3 a)

shrink :: Tuple3 a -> [Tuple3 a]

(Show s, Semigroup s) => Show (Tuple3 s)

Defined in Internal.Semigroup.Tuple

Methods

showsPrec :: Int -> Tuple3 s -> ShowS

show :: Tuple3 s -> String

showList :: [Tuple3 s] -> ShowS

Eq s => Eq (Tuple3 s)

Defined in Internal.Semigroup.Tuple

Methods

(==) :: Tuple3 s -> Tuple3 s -> Bool

(/=) :: Tuple3 s -> Tuple3 s -> Bool

Ord s => Ord (Tuple3 s)

Defined in Internal.Semigroup.Tuple

Methods

compare :: Tuple3 s -> Tuple3 s -> Ordering

(<) :: Tuple3 s -> Tuple3 s -> Bool

(<=) :: Tuple3 s -> Tuple3 s -> Bool

(>) :: Tuple3 s -> Tuple3 s -> Bool

(>=) :: Tuple3 s -> Tuple3 s -> Bool

max :: Tuple3 s -> Tuple3 s -> Tuple3 s

min :: Tuple3 s -> Tuple3 s -> Tuple3 s

genTuple1 :: Arbitrary a => Gen (Tuple1 a)

genTuple2 :: forall a. Arbitrary a => Gen (Tuple2 a)

genTuple3 :: forall a. Arbitrary a => Gen (Tuple3 a)

evalTuple1 :: Semigroup s => Tuple1 s -> s

evalTuple2 :: Semigroup s => Tuple2 s -> (s, s)

evalTuple3 :: Semigroup s => Tuple3 s -> (s, s, s)

showTuple1 :: (Semigroup a, Show a) => Tuple1 a -> String

showTuple2 :: (Semigroup a, Show a) => Tuple2 a -> String

showTuple3 :: (Semigroup a, Show a) => Tuple3 a -> String

shrinkTuple1 :: Arbitrary a => Tuple1 a -> [Tuple1 a]

shrinkTuple2 :: Arbitrary a => Tuple2 a -> [Tuple2 a]

shrinkTuple3 :: Arbitrary a => Tuple3 a -> [Tuple3 a]

showWrap :: Show a => a -> String

universe :: (Bounded a, Enum a) => [a]