constrained-generators-0.2.0.0: Framework for generating constrained random data using a subset of first order logic
Safe HaskellSafe-Inferred
LanguageHaskell2010

Constrained.Examples.Set

Documentation

newtype NotASet a Source #

Constructors

NotASet (Set a) 

Instances

Instances details
Generic (NotASet a) Source # 
Instance details

Defined in Constrained.Examples.Set

Associated Types

type Rep (NotASet a) ∷ TypeType #

Methods

fromNotASet a → Rep (NotASet a) x #

toRep (NotASet a) x → NotASet a #

Show a ⇒ Show (NotASet a) Source # 
Instance details

Defined in Constrained.Examples.Set

Methods

showsPrecIntNotASet a → ShowS #

showNotASet a → String #

showList ∷ [NotASet a] → ShowS #

(Ord a, HasSpec a) ⇒ HasSpec (NotASet a) Source # 
Instance details

Defined in Constrained.Examples.Set

Associated Types

type TypeSpec (NotASet a) Source #

type Prerequisites (NotASet a) Source #

(Typeable a, Ord a) ⇒ HasSimpleRep (NotASet a) Source # 
Instance details

Defined in Constrained.Examples.Set

Associated Types

type SimpleRep (NotASet a) Source #

type TheSop (NotASet a) ∷ [Type] Source #

Eq a ⇒ Eq (NotASet a) Source # 
Instance details

Defined in Constrained.Examples.Set

Methods

(==)NotASet a → NotASet a → Bool #

(/=)NotASet a → NotASet a → Bool #

(Typeable a, Ord a) ⇒ Forallable (NotASet a) a Source # 
Instance details

Defined in Constrained.Examples.Set

type Rep (NotASet a) Source # 
Instance details

Defined in Constrained.Examples.Set

type Rep (NotASet a) = D1 ('MetaData "NotASet" "Constrained.Examples.Set" "constrained-generators-0.2.0.0-inplace" 'True) (C1 ('MetaCons "NotASet" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Set a))))
type Prerequisites (NotASet a) Source # 
Instance details

Defined in Constrained.Examples.Set

type Prerequisites (NotASet a) = ()
type TypeSpec (NotASet a) Source # 
Instance details

Defined in Constrained.Examples.Set

type SimpleRep (NotASet a) Source # 
Instance details

Defined in Constrained.Examples.Set

type SimpleRep (NotASet a) = [a]
type TheSop (NotASet a) Source # 
Instance details

Defined in Constrained.Examples.Set

type TheSop (NotASet a) = SOPOf (Rep (NotASet a))