formatting

This commit is contained in:
Arian van Putten 2015-10-03 01:45:16 +02:00
parent 9ccb7203e4
commit bc02a2f75a

View file

@ -154,8 +154,10 @@ instance (KnownSymbol s, HasMock rest) => HasMock (MatrixFlag s :> rest) where
instance (KnownSymbol h, FromText a, HasMock rest) => HasMock (Header h a :> rest) where instance (KnownSymbol h, FromText a, HasMock rest) => HasMock (Header h a :> rest) where
mock _ = \_ -> mock (Proxy :: Proxy rest) mock _ = \_ -> mock (Proxy :: Proxy rest)
instance (HasMock rest, AuthData authdata, Arbitrary usr) => HasMock (AuthProtect authdata (usr :: *) 'Lax :> rest) where instance (HasMock rest, AuthData authdata, Arbitrary usr)
mock _ = laxProtect (\_ -> do { a <- generate arbitrary; return (Just a)}) (\_ -> mock (Proxy :: Proxy rest)) => HasMock (AuthProtect authdata (usr :: *) 'Lax :> rest) where
mock _ = laxProtect (\_ -> do { a <- generate arbitrary; return (Just a)})
(\_ -> mock (Proxy :: Proxy rest))
instance (HasMock rest, Arbitrary usr, KnownSymbol realm) instance (HasMock rest, Arbitrary usr, KnownSymbol realm)
=> HasMock (AuthProtect (BasicAuth realm) (usr :: *) 'Strict :> rest) where => HasMock (AuthProtect (BasicAuth realm) (usr :: *) 'Strict :> rest) where