Safe Haskell	None
Language	Haskell2010

Servant.QuickCheck.Internal.ErrorTypes

Contents

Pretty printing

Synopsis

data PredicateFailure = PredicateFailure Text (Maybe Request) (Response ByteString)
data ServerEqualityFailure = ServerEqualityFailure Request (Response ByteString) (Response ByteString)
prettyHeaders :: [Header] -> Doc
prettyReq :: Request -> Doc
prettyResp :: Response ByteString -> Doc
prettyServerEqualityFailure :: ServerEqualityFailure -> Doc
prettyPredicateFailure :: PredicateFailure -> Doc

Documentation

data PredicateFailure Source #

Constructors

PredicateFailure Text (Maybe Request) (Response ByteString)

Instances

Instances details

Exception PredicateFailure Source #

Instance details

Defined in Servant.QuickCheck.Internal.ErrorTypes

Methods

toException :: PredicateFailure -> SomeException #

fromException :: SomeException -> Maybe PredicateFailure #

displayException :: PredicateFailure -> String #

Generic PredicateFailure Source #

Instance details

Defined in Servant.QuickCheck.Internal.ErrorTypes

Associated Types

type Rep PredicateFailure

Instance details

Defined in Servant.QuickCheck.Internal.ErrorTypes

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

Methods

from :: PredicateFailure -> Rep PredicateFailure x #

to :: Rep PredicateFailure x -> PredicateFailure #

Show PredicateFailure Source #

Instance details

Defined in Servant.QuickCheck.Internal.ErrorTypes

Methods

showsPrec :: Int -> PredicateFailure -> ShowS #

show :: PredicateFailure -> String #

showList :: [PredicateFailure] -> ShowS #

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.1.1.0-3hsTrj7AAGGAh1pD97idMz" '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

Instances details

Exception ServerEqualityFailure Source #

Instance details

Defined in Servant.QuickCheck.Internal.ErrorTypes

Methods

toException :: ServerEqualityFailure -> SomeException #

fromException :: SomeException -> Maybe ServerEqualityFailure #

displayException :: ServerEqualityFailure -> String #

Generic ServerEqualityFailure Source #

Instance details

Defined in Servant.QuickCheck.Internal.ErrorTypes

Associated Types

type Rep ServerEqualityFailure

Instance details

Defined in Servant.QuickCheck.Internal.ErrorTypes

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

Methods

from :: ServerEqualityFailure -> Rep ServerEqualityFailure x #

to :: Rep ServerEqualityFailure x -> ServerEqualityFailure #

Show ServerEqualityFailure Source #

Instance details

Defined in Servant.QuickCheck.Internal.ErrorTypes

Methods

showsPrec :: Int -> ServerEqualityFailure -> ShowS #

show :: ServerEqualityFailure -> String #

showList :: [ServerEqualityFailure] -> ShowS #

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.1.1.0-3hsTrj7AAGGAh1pD97idMz" '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 #