hedgehog-extras-0.9.0.0: Supplemental library for hedgehog
Safe HaskellNone
LanguageHaskell2010

Hedgehog.Extras.Internal.Test.Integration

Documentation

type Integration a = PropertyT (ReaderT IntegrationState (ResourceT IO)) a Source #

newtype IntegrationState Source #

Constructors

IntegrationState 

Fields

Instances

Instances details
Generic IntegrationState Source # 
Instance details

Defined in Hedgehog.Extras.Internal.Test.Integration

Associated Types

type Rep IntegrationState 
Instance details

Defined in Hedgehog.Extras.Internal.Test.Integration

type Rep IntegrationState = D1 ('MetaData "IntegrationState" "Hedgehog.Extras.Internal.Test.Integration" "hedgehog-extras-0.9.0.0-K8hEug6hFeMkK6JynGlrV" 'True) (C1 ('MetaCons "IntegrationState" 'PrefixI 'True) (S1 ('MetaSel ('Just "integrationStateFinals") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (TVar [Integration ()]))))

Methods

from :: IntegrationState -> Rep IntegrationState x #

to :: Rep IntegrationState x -> IntegrationState #

type Rep IntegrationState Source # 
Instance details

Defined in Hedgehog.Extras.Internal.Test.Integration

type Rep IntegrationState = D1 ('MetaData "IntegrationState" "Hedgehog.Extras.Internal.Test.Integration" "hedgehog-extras-0.9.0.0-K8hEug6hFeMkK6JynGlrV" 'True) (C1 ('MetaCons "IntegrationState" 'PrefixI 'True) (S1 ('MetaSel ('Just "integrationStateFinals") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (TVar [Integration ()]))))

newIntegrationStateIO :: IO IntegrationState Source #

newIntegrationStateM :: MonadIO m => m IntegrationState Source #

runIntegrationReaderT :: MonadIO m => ReaderT IntegrationState m a -> m a Source #