(Ord a, HasSpec fn a) ⇒ HasSpec fn (NotASet a) Source #
Instance details Defined in Constrained.Examples.Set Associated Types type TypeSpec fn (NotASet a) Source # type Prerequisites fn (NotASet a) Source # Methods emptySpec ∷ TypeSpec fn (NotASet a) Source # combineSpec ∷ TypeSpec fn (NotASet a) → TypeSpec fn (NotASet a) → Specification fn (NotASet a) Source # genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec fn (NotASet a) → GenT m (NotASet a) Source # conformsTo ∷ NotASet a → TypeSpec fn (NotASet a) → Bool Source # shrinkWithTypeSpec ∷ TypeSpec fn (NotASet a) → NotASet a → [NotASet a] Source # toPreds ∷ Term fn (NotASet a) → TypeSpec fn (NotASet a) → Pred fn Source # cardinalTypeSpec ∷ TypeSpec fn (NotASet a) → Specification fn Integer Source # cardinalTrueSpec ∷ Specification fn Integer Source # typeSpecHasError ∷ TypeSpec fn (NotASet a) → Maybe (NonEmpty String) Source # alternateShow ∷ TypeSpec fn (NotASet a) → BinaryShow Source # monadConformsTo ∷ NotASet a → TypeSpec fn (NotASet a) → Writer [String] Bool Source # typeSpecOpt ∷ TypeSpec fn (NotASet a) → [NotASet a] → Specification fn (NotASet a) Source # guardTypeSpec ∷ [String] → TypeSpec fn (NotASet a) → Specification fn (NotASet a) Source # prerequisites ∷ Evidence (Prerequisites fn (NotASet a)) Source #
Generic (NotASet a) Source #
Instance details Defined in Constrained.Examples.Set Associated Types type Rep (NotASet a) ∷ Type → Type Source # Methods from ∷ NotASet a → Rep (NotASet a) x Source # to ∷ Rep (NotASet a) x → NotASet a Source #
Show a ⇒ Show (NotASet a) Source #
Instance details Defined in Constrained.Examples.Set Methods showsPrec ∷ Int → NotASet a → ShowS Source # show ∷ NotASet a → String Source # showList ∷ [NotASet a] → ShowS Source #
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 # Methods toSimpleRep ∷ NotASet a → SimpleRep (NotASet a) Source # fromSimpleRep ∷ SimpleRep (NotASet a) → NotASet a Source #
Eq a ⇒ Eq (NotASet a) Source #
Instance details Defined in Constrained.Examples.Set Methods (==) ∷ NotASet a → NotASet a → Bool Source # (/=) ∷ NotASet a → NotASet a → Bool Source #
Ord a ⇒ Forallable (NotASet a) a Source #
Instance details Defined in Constrained.Examples.Set Methods fromForAllSpec ∷ ∀ (fn ∷ [Type] → Type → Type). (HasSpec fn (NotASet a), HasSpec fn a, BaseUniverse fn) ⇒ Specification fn a → Specification fn (NotASet a) Source # forAllToList ∷ NotASet a → [a] Source #
type Prerequisites fn (NotASet a) Source #
Instance details Defined in Constrained.Examples.Set type Prerequisites fn (NotASet a) = ()
type TypeSpec fn (NotASet a) Source #
Instance details Defined in Constrained.Examples.Set type TypeSpec fn (NotASet a) = TypeSpec fn (SimpleRep (NotASet a))
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 ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Set a))))
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))

emptyListSpec ∷ Specification BaseFn ([Int], NotASet (Either Int Int, Int)) Source #

foldSingleCase ∷ Specification BaseFn Int Source #

complexUnion ∷ Specification BaseFn (Set Int, Set Int) Source #

unionBounded ∷ Specification BaseFn (Set Int) Source #

powersetPickOne ∷ Specification BaseFn (Set Int) Source #