small-steps-1.1.0.1: Small step semantics
Safe HaskellSafe-Inferred
LanguageHaskell2010

Test.Hedgehog.Extra.Manual

Description

Manual generators.

This module provides functions to convert hedgehog Gens to and from a Manual generators, and functions to manipulate these manual generators.

Synopsis

Documentation

newtype Manual a Source #

Constructors

Manual (Size → Seed → a) 

Instances

Instances details
Applicative Manual Source # 
Instance details

Defined in Test.Hedgehog.Extra.Manual

Methods

pure ∷ a → Manual a Source #

(<*>) ∷ Manual (a → b) → Manual a → Manual b Source #

liftA2 ∷ (a → b → c) → Manual a → Manual b → Manual c Source #

(*>) ∷ Manual a → Manual b → Manual b Source #

(<*) ∷ Manual a → Manual b → Manual a Source #

Functor Manual Source # 
Instance details

Defined in Test.Hedgehog.Extra.Manual

Methods

fmap ∷ (a → b) → Manual a → Manual b Source #

(<$) ∷ a → Manual b → Manual a Source #

Monad Manual Source # 
Instance details

Defined in Test.Hedgehog.Extra.Manual

Methods

(>>=) ∷ Manual a → (a → Manual b) → Manual b Source #

(>>) ∷ Manual a → Manual b → Manual b Source #

return ∷ a → Manual a Source #

unManual ∷ Manual a → Size → Seed → a Source #

toManual ∷ Gen a → Manual (TreeT (MaybeT Identity) a) Source #

fromManual ∷ Manual (TreeT (MaybeT Identity) a) → Gen a Source #

dontShrink ∷ Gen a → Manual (Maybe a) Source #

Combinators

sized ∷ (Size → Manual a) → Manual a Source #

replicate ∷ ∀ a. Int → Manual a → Manual [a] Source #

A version of replicateM specific to Manual.

interleave ∷ [TreeT (MaybeT Identity) a] → TreeT (MaybeT Identity) [a] Source #

Auxiliary

wrapTreeT ∷ Maybe (NodeT (MaybeT Identity) a) → TreeT (MaybeT Identity) a Source #

unwrapTreeT ∷ TreeT (MaybeT Identity) a → Maybe (NodeT (MaybeT Identity) a) Source #