Servant.QuickCheck.Internal.ErrorTypes

Documentation

data PredicateFailure

Constructors

PredicateFailure Text (Maybe Request) (Response ByteString)

Instances

Show PredicateFailure

Defined in Servant.QuickCheck.Internal.ErrorTypes

Methods

showsPrec :: Int -> PredicateFailure -> ShowS

show :: PredicateFailure -> String

showList :: [PredicateFailure] -> ShowS

Generic PredicateFailure

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

Defined in Servant.QuickCheck.Internal.ErrorTypes

Methods

toException :: PredicateFailure -> SomeException

fromException :: SomeException -> Maybe PredicateFailure

displayException :: PredicateFailure -> String

type Rep PredicateFailure

Defined in Servant.QuickCheck.Internal.ErrorTypes

type Rep PredicateFailure = D1 (MetaData "PredicateFailure" "Servant.QuickCheck.Internal.ErrorTypes" "servant-quickcheck-0.0.9.0-2r9AXHOA4NyAnbMku26eaz" 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

Constructors

ServerEqualityFailure Request (Response ByteString) (Response ByteString)

Instances

Show ServerEqualityFailure

Defined in Servant.QuickCheck.Internal.ErrorTypes

Methods

showsPrec :: Int -> ServerEqualityFailure -> ShowS

show :: ServerEqualityFailure -> String

showList :: [ServerEqualityFailure] -> ShowS

Generic ServerEqualityFailure

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

Defined in Servant.QuickCheck.Internal.ErrorTypes

Methods

toException :: ServerEqualityFailure -> SomeException

fromException :: SomeException -> Maybe ServerEqualityFailure

displayException :: ServerEqualityFailure -> String

type Rep ServerEqualityFailure

Defined in Servant.QuickCheck.Internal.ErrorTypes

type Rep ServerEqualityFailure = D1 (MetaData "ServerEqualityFailure" "Servant.QuickCheck.Internal.ErrorTypes" "servant-quickcheck-0.0.9.0-2r9AXHOA4NyAnbMku26eaz" 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

prettyReq :: Request -> Doc

prettyResp :: Response ByteString -> Doc

prettyServerEqualityFailure :: ServerEqualityFailure -> Doc

prettyPredicateFailure :: PredicateFailure -> Doc