servant-quickcheck-0.0.7.4: QuickCheck entire APIs

Safe HaskellNone
LanguageHaskell2010

Servant.QuickCheck.Internal.ErrorTypes

Contents

Synopsis

Documentation

data PredicateFailure Source #

Constructors

PredicateFailure Text (Maybe Request) (Response ByteString) 
Instances
Show PredicateFailure Source # 
Instance details

Defined in Servant.QuickCheck.Internal.ErrorTypes

Methods

showsPrec :: Int -> PredicateFailure -> ShowS #

show :: PredicateFailure -> String #

showList :: [PredicateFailure] -> ShowS #

Generic PredicateFailure Source # 
Instance details

Defined in Servant.QuickCheck.Internal.ErrorTypes

Associated Types

type Rep PredicateFailure :: Type -> Type #

Methods

from :: PredicateFailure -> Rep PredicateFailure x #

to :: Rep PredicateFailure x -> PredicateFailure #

Exception PredicateFailure Source # 
Instance details

Defined in Servant.QuickCheck.Internal.ErrorTypes

Methods

toException :: PredicateFailure -> SomeException #

fromException :: SomeException -> Maybe PredicateFailure #

displayException :: PredicateFailure -> String #

type Rep PredicateFailure Source # 
Instance details

Defined in Servant.QuickCheck.Internal.ErrorTypes

type Rep PredicateFailure = D1 (MetaData "PredicateFailure" "Servant.QuickCheck.Internal.ErrorTypes" "servant-quickcheck-0.0.7.4-FRgMEjtLfGiGjtYQ2ImRmW" False) (C1 (MetaCons "PredicateFailure" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Text) :*: (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe Request)) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Response ByteString)))))

data ServerEqualityFailure Source #

Constructors

ServerEqualityFailure Request (Response ByteString) (Response ByteString) 
Instances
Show ServerEqualityFailure Source # 
Instance details

Defined in Servant.QuickCheck.Internal.ErrorTypes

Methods

showsPrec :: Int -> ServerEqualityFailure -> ShowS #

show :: ServerEqualityFailure -> String #

showList :: [ServerEqualityFailure] -> ShowS #

Generic ServerEqualityFailure Source # 
Instance details

Defined in Servant.QuickCheck.Internal.ErrorTypes

Associated Types

type Rep ServerEqualityFailure :: Type -> Type #

Methods

from :: ServerEqualityFailure -> Rep ServerEqualityFailure x #

to :: Rep ServerEqualityFailure x -> ServerEqualityFailure #

Exception ServerEqualityFailure Source # 
Instance details

Defined in Servant.QuickCheck.Internal.ErrorTypes

Methods

toException :: ServerEqualityFailure -> SomeException #

fromException :: SomeException -> Maybe ServerEqualityFailure #

displayException :: ServerEqualityFailure -> String #

type Rep ServerEqualityFailure Source # 
Instance details

Defined in Servant.QuickCheck.Internal.ErrorTypes

type Rep ServerEqualityFailure = D1 (MetaData "ServerEqualityFailure" "Servant.QuickCheck.Internal.ErrorTypes" "servant-quickcheck-0.0.7.4-FRgMEjtLfGiGjtYQ2ImRmW" False) (C1 (MetaCons "ServerEqualityFailure" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Request) :*: (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Response ByteString)) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Response ByteString)))))

Pretty printing

prettyHeaders :: [Header] -> Doc Source #

prettyReq :: Request -> Doc Source #

prettyResp :: Response ByteString -> Doc Source #

prettyServerEqualityFailure :: ServerEqualityFailure -> Doc Source #

prettyPredicateFailure :: PredicateFailure -> Doc Source #