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 (SizeSeed → 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 #

unManualManual a → SizeSeed → a Source #

Combinators

sized ∷ (SizeManual a) → Manual a Source #

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

A version of replicateM specific to Manual.

Auxiliary