Servant.QuickCheck.Internal.ErrorTypes

Documentation

data PredicateFailure

Constructors

PredicateFailure Text (Maybe Request) (Response ByteString)

Instances

Exception PredicateFailure

Defined in Servant.QuickCheck.Internal.ErrorTypes

Methods

toException :: PredicateFailure -> SomeException

fromException :: SomeException -> Maybe PredicateFailure

displayException :: PredicateFailure -> String

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

Show PredicateFailure

Defined in Servant.QuickCheck.Internal.ErrorTypes

Methods

showsPrec :: Int -> PredicateFailure -> ShowS

show :: PredicateFailure -> String

showList :: [PredicateFailure] -> ShowS

type Rep PredicateFailure

Defined in Servant.QuickCheck.Internal.ErrorTypes

type Rep PredicateFailure = D1 ('MetaData "PredicateFailure" "Servant.QuickCheck.Internal.ErrorTypes" "servant-quickcheck-0.1.1.0-EPHFkxHeyflC5kksDPNIoP" '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

Exception ServerEqualityFailure

Defined in Servant.QuickCheck.Internal.ErrorTypes

Methods

toException :: ServerEqualityFailure -> SomeException

fromException :: SomeException -> Maybe ServerEqualityFailure

displayException :: ServerEqualityFailure -> String

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

Show ServerEqualityFailure

Defined in Servant.QuickCheck.Internal.ErrorTypes

Methods

showsPrec :: Int -> ServerEqualityFailure -> ShowS

show :: ServerEqualityFailure -> String

showList :: [ServerEqualityFailure] -> ShowS

type Rep ServerEqualityFailure

Defined in Servant.QuickCheck.Internal.ErrorTypes

type Rep ServerEqualityFailure = D1 ('MetaData "ServerEqualityFailure" "Servant.QuickCheck.Internal.ErrorTypes" "servant-quickcheck-0.1.1.0-EPHFkxHeyflC5kksDPNIoP" '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