Safe Haskell	Safe-Inferred
Language	Haskell2010

Constrained.Spec.Tree

Contents

Orphan instances

Documentation

data BinTree a Source #

Constructors

BinTip
BinNode (BinTree a) a (BinTree a)

Instances

Instances details

HasSpec fn a ⇒ HasGenHint fn (BinTree a) Source #
Instance details Defined in Constrained.Spec.Tree Associated Types type Hint (BinTree a) Source # Methods giveHint ∷ Hint (BinTree a) → Specification fn (BinTree a) Source #
HasSpec fn a ⇒ HasSpec fn (BinTree a) Source #
Instance details Defined in Constrained.Spec.Tree Associated Types type TypeSpec fn (BinTree a) Source # type Prerequisites fn (BinTree a) Source # Methods emptySpec ∷ TypeSpec fn (BinTree a) Source # combineSpec ∷ TypeSpec fn (BinTree a) → TypeSpec fn (BinTree a) → Specification fn (BinTree a) Source # genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec fn (BinTree a) → GenT m (BinTree a) Source # conformsTo ∷ BinTree a → TypeSpec fn (BinTree a) → Bool Source # shrinkWithTypeSpec ∷ TypeSpec fn (BinTree a) → BinTree a → [BinTree a] Source # toPreds ∷ Term fn (BinTree a) → TypeSpec fn (BinTree a) → Pred fn Source # cardinalTypeSpec ∷ TypeSpec fn (BinTree a) → Specification fn Integer Source # cardinalTrueSpec ∷ Specification fn Integer Source # typeSpecOpt ∷ TypeSpec fn (BinTree a) → [BinTree a] → Specification fn (BinTree a) Source # prerequisites ∷ Evidence (Prerequisites fn (BinTree a)) Source #
Generic (BinTree a) Source #
Instance details Defined in Constrained.Spec.Tree Associated Types type Rep (BinTree a) ∷ Type → Type Source # Methods from ∷ BinTree a → Rep (BinTree a) x Source # to ∷ Rep (BinTree a) x → BinTree a Source #
Show a ⇒ Show (BinTree a) Source #
Instance details Defined in Constrained.Spec.Tree Methods showsPrec ∷ Int → BinTree a → ShowS Source # show ∷ BinTree a → String Source # showList ∷ [BinTree a] → ShowS Source #
Eq a ⇒ Eq (BinTree a) Source #
Instance details Defined in Constrained.Spec.Tree Methods (==) ∷ BinTree a → BinTree a → Bool Source # (/=) ∷ BinTree a → BinTree a → Bool Source #
Ord a ⇒ Ord (BinTree a) Source #
Instance details Defined in Constrained.Spec.Tree Methods compare ∷ BinTree a → BinTree a → Ordering Source # (<) ∷ BinTree a → BinTree a → Bool Source # (<=) ∷ BinTree a → BinTree a → Bool Source # (>) ∷ BinTree a → BinTree a → Bool Source # (>=) ∷ BinTree a → BinTree a → Bool Source # max ∷ BinTree a → BinTree a → BinTree a Source # min ∷ BinTree a → BinTree a → BinTree a Source #
Forallable (BinTree a) (BinTree a, a, BinTree a) Source #
Instance details Defined in Constrained.Spec.Tree Methods fromForAllSpec ∷ ∀ (fn ∷ [Type] → Type → Type). (HasSpec fn (BinTree a), HasSpec fn (BinTree a, a, BinTree a), BaseUniverse fn) ⇒ Specification fn (BinTree a, a, BinTree a) → Specification fn (BinTree a) Source # forAllToList ∷ BinTree a → [(BinTree a, a, BinTree a)] Source #
type Prerequisites fn (BinTree a) Source #
Instance details Defined in Constrained.Spec.Tree type Prerequisites fn (BinTree a) = ()
type TypeSpec fn (BinTree a) Source #
Instance details Defined in Constrained.Spec.Tree type TypeSpec fn (BinTree a)
type Rep (BinTree a) Source #
Instance details Defined in Constrained.Spec.Tree type Rep (BinTree a) = D1 ('MetaData "BinTree" "Constrained.Spec.Tree" "constrained-generators-0.2.0.0-inplace" 'False) (C1 ('MetaCons "BinTip" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "BinNode" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (BinTree a)) :: (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (BinTree a)))))
type Hint (BinTree a) Source #
Instance details Defined in Constrained.Spec.Tree type Hint (BinTree a) = Integer

data TreeFn (fn ∷ [Type] → Type → Type) args res Source #

Instances

Instances details

FunctionLike (TreeFn fn) Source #
Instance details Defined in Constrained.Spec.Tree Methods sem ∷ ∀ (as ∷ [Type]) b. TreeFn fn as b → FunTy as b Source #
(Member (TreeFn fn) fn, BaseUniverse fn) ⇒ Functions (TreeFn fn) fn Source #
Instance details Defined in Constrained.Spec.Tree Methods propagateSpecFun ∷ ∀ (as ∷ [Type]) a b. (TypeList as, Typeable as, HasSpec fn a, All (HasSpec fn) as) ⇒ TreeFn fn as b → ListCtx Value as (HOLE a) → Specification fn b → Specification fn a Source # rewriteRules ∷ ∀ (as ∷ [Type]) b. (TypeList as, Typeable as, HasSpec fn b, All (HasSpec fn) as) ⇒ TreeFn fn as b → List (Term fn) as → Maybe (Term fn b) Source # mapTypeSpec ∷ (HasSpec fn a, HasSpec fn b) ⇒ TreeFn fn '[a] b → TypeSpec fn a → Specification fn b Source #
Show (TreeFn fn args res) Source #
Instance details Defined in Constrained.Spec.Tree Methods showsPrec ∷ Int → TreeFn fn args res → ShowS Source # show ∷ TreeFn fn args res → String Source # showList ∷ [TreeFn fn args res] → ShowS Source #
Eq (TreeFn fn args res) Source #
Instance details Defined in Constrained.Spec.Tree Methods (==) ∷ TreeFn fn args res → TreeFn fn args res → Bool Source # (/=) ∷ TreeFn fn args res → TreeFn fn args res → Bool Source #

rootLabel_ ∷ ∀ fn a. (Member (TreeFn fn) fn, HasSpec fn a) ⇒ Term fn (Tree a) → Term fn a Source #

data TreeSpec fn a Source #

Constructors

TreeSpec
Fields roseTreeAvgLength ∷ Maybe Integer roseTreeMaxSize ∷ Maybe Integer roseTreeRootSpec ∷ Specification fn a roseTreeCtxSpec ∷ Specification fn (a, [Tree a])

Instances

Instances details

(HasSpec fn a, Member (TreeFn fn) fn) ⇒ Show (TreeSpec fn a) Source #
Instance details Defined in Constrained.Spec.Tree Methods showsPrec ∷ Int → TreeSpec fn a → ShowS Source # show ∷ TreeSpec fn a → String Source # showList ∷ [TreeSpec fn a] → ShowS Source #

Orphan instances

(Member (TreeFn fn) fn, HasSpec fn a) ⇒ HasGenHint fn (Tree a) Source #
Instance details Associated Types type Hint (Tree a) Source # Methods giveHint ∷ Hint (Tree a) → Specification fn (Tree a) Source #
(HasSpec fn a, Member (TreeFn fn) fn) ⇒ HasSpec fn (Tree a) Source #
Instance details Associated Types type TypeSpec fn (Tree a) Source # type Prerequisites fn (Tree a) Source # Methods emptySpec ∷ TypeSpec fn (Tree a) Source # combineSpec ∷ TypeSpec fn (Tree a) → TypeSpec fn (Tree a) → Specification fn (Tree a) Source # genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec fn (Tree a) → GenT m (Tree a) Source # conformsTo ∷ Tree a → TypeSpec fn (Tree a) → Bool Source # shrinkWithTypeSpec ∷ TypeSpec fn (Tree a) → Tree a → [Tree a] Source # toPreds ∷ Term fn (Tree a) → TypeSpec fn (Tree a) → Pred fn Source # cardinalTypeSpec ∷ TypeSpec fn (Tree a) → Specification fn Integer Source # cardinalTrueSpec ∷ Specification fn Integer Source # typeSpecOpt ∷ TypeSpec fn (Tree a) → [Tree a] → Specification fn (Tree a) Source # prerequisites ∷ Evidence (Prerequisites fn (Tree a)) Source #
Forallable (Tree a) (a, [Tree a]) Source #
Instance details Methods fromForAllSpec ∷ ∀ (fn ∷ [Type] → Type → Type). (HasSpec fn (Tree a), HasSpec fn (a, [Tree a]), BaseUniverse fn) ⇒ Specification fn (a, [Tree a]) → Specification fn (Tree a) Source # forAllToList ∷ Tree a → [(a, [Tree a])] Source #