small-steps-test-0.1.0.0: Small step semantics testing library
Safe HaskellNone
LanguageHaskell2010

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
Monad Manual Source # 
Instance details

Defined in Hedgehog.Extra.Manual

Methods

(>>=) :: Manual a -> (a -> Manual b) -> Manual b #

(>>) :: Manual a -> Manual b -> Manual b #

return :: a -> Manual a #

Functor Manual Source # 
Instance details

Defined in Hedgehog.Extra.Manual

Methods

fmap :: (a -> b) -> Manual a -> Manual b #

(<$) :: a -> Manual b -> Manual a #

Applicative Manual Source # 
Instance details

Defined in Hedgehog.Extra.Manual

Methods

pure :: a -> Manual a #

(<*>) :: Manual (a -> b) -> Manual a -> Manual b #

liftA2 :: (a -> b -> c) -> Manual a -> Manual b -> Manual c #

(*>) :: Manual a -> Manual b -> Manual b #

(<*) :: Manual a -> Manual b -> Manual a #

unManual :: Manual a -> Size -> Seed -> a Source #

Combinators

sized :: (Size -> Manual a) -> Manual a Source #

replicate :: forall a. Int -> Manual a -> Manual [a] Source #

A version of replicateM specific to Manual.

Auxiliary