Safe Haskell	Safe-Inferred
Language	Haskell2010

SAML2.WebSSO.Test.Util.TestSP

Synopsis

newtype TestSP a = TestSP {
- runTestSP :: ReaderT CtxV (ExceptT SimpleError IO) a
}
simpleStoreID :: (MonadIO m, MonadReader (MVar ctx) m) => Lens' ctx (Map (ID a) Time) -> ID a -> Time -> m ()
simpleUnStoreID :: (MonadIO m, MonadReader (MVar ctx) m) => Lens' ctx (Map (ID a) Time) -> ID a -> m ()
simpleIsAliveID :: (MonadIO m, MonadReader (MVar ctx) m, SP m) => Lens' ctx (Map (ID a) Time) -> ID a -> m Bool
readIdPs :: TestSP [IdPConfig_]
handlerFromTestSP :: CtxV -> TestSP a -> Handler a
ioFromTestSP :: CtxV -> TestSP a -> IO a
withapp :: forall (api :: Type). HasServer api '[] => Proxy api -> ServerT api TestSP -> IO CtxV -> SpecWith (CtxV, Application) -> Spec
capture' :: HasCallStack => IO a -> IO a
captureApplication :: HasCallStack => Application -> Application
runtest :: (CtxV -> WaiSession () a) -> (CtxV, Application) -> IO a
runtest' :: WaiSession () a -> (CtxV, Application) -> IO a
mkTestCtxSimple :: MonadIO m => m CtxV
mkTestCtxWithIdP :: MonadIO m => m CtxV
makeTestIdPConfig :: (MonadIO m, MonadRandom m) => m (IdPConfig (), SampleIdP)
makeSampleIdPMetadata :: HasCallStack => (MonadIO m, MonadRandom m) => m SampleIdP
makeIssuer :: MonadIO m => m Issuer
mkTestSPMetadata :: (Monad m, HasConfig m) => m SPMetadata
verbose :: Ctx -> Ctx
timeLongAgo :: Time
timeInALongTime :: Time
timeNow :: Time
timeIn5seconds :: Time
timeIn10seconds :: Time
timeIn10minutes :: Time
timeIn20minutes :: Time
modifyCtx :: (HasCallStack, MonadIO m, MonadReader CtxV m) => (Ctx -> (Ctx, a)) -> m a
modifyCtx_ :: (HasCallStack, MonadIO m, MonadReader CtxV m) => (Ctx -> Ctx) -> m ()
timeTravel :: (HasCallStack, MonadIO m, MonadReader CtxV m) => NominalDiffTime -> m a -> m a

Documentation

newtype TestSP a Source #

FUTUREWORK: we already have SimpleSP; is there a good reason why we need both types?

Constructors

TestSP
Fields runTestSP :: ReaderT CtxV (ExceptT SimpleError IO) a

Instances

Instances details

MonadIO TestSP Source #
Instance details Defined in SAML2.WebSSO.Test.Util.TestSP Methods liftIO :: IO a -> TestSP a #
Applicative TestSP Source #
Instance details Defined in SAML2.WebSSO.Test.Util.TestSP Methods pure :: a -> TestSP a # (<>) :: TestSP (a -> b) -> TestSP a -> TestSP b # liftA2 :: (a -> b -> c) -> TestSP a -> TestSP b -> TestSP c # (>) :: TestSP a -> TestSP b -> TestSP b # (<*) :: TestSP a -> TestSP b -> TestSP a #
Functor TestSP Source #
Instance details Defined in SAML2.WebSSO.Test.Util.TestSP Methods fmap :: (a -> b) -> TestSP a -> TestSP b # (<$) :: a -> TestSP b -> TestSP a #
Monad TestSP Source #
Instance details Defined in SAML2.WebSSO.Test.Util.TestSP Methods (>>=) :: TestSP a -> (a -> TestSP b) -> TestSP b # (>>) :: TestSP a -> TestSP b -> TestSP b # return :: a -> TestSP a #
HasConfig TestSP Source #
Instance details Defined in SAML2.WebSSO.Test.Util.TestSP Methods getConfig :: TestSP Config Source #
HasCreateUUID TestSP Source #
Instance details Defined in SAML2.WebSSO.Test.Util.TestSP Methods createUUID :: TestSP UUID Source #
HasLogger TestSP Source #
Instance details Defined in SAML2.WebSSO.Test.Util.TestSP Methods logger :: Level -> String -> TestSP () Source #
HasNow TestSP Source #
Instance details Defined in SAML2.WebSSO.Test.Util.TestSP Methods getNow :: TestSP Time Source #
MonadError SimpleError TestSP Source #
Instance details Defined in SAML2.WebSSO.Test.Util.TestSP Methods throwError :: SimpleError -> TestSP a # catchError :: TestSP a -> (SimpleError -> TestSP a) -> TestSP a #
MonadReader CtxV TestSP Source #
Instance details Defined in SAML2.WebSSO.Test.Util.TestSP Methods ask :: TestSP CtxV # local :: (CtxV -> CtxV) -> TestSP a -> TestSP a # reader :: (CtxV -> a) -> TestSP a #
GetAllIdPs SimpleError TestSP Source #
Instance details Defined in SAML2.WebSSO.Test.Util.TestSP Methods getAllIdPs :: TestSP [IdPConfig (IdPConfigExtra TestSP)] Source #
SPHandler SimpleError TestSP Source #
Instance details Defined in SAML2.WebSSO.Test.Util.TestSP Associated Types type NTCTX TestSP Source # Methods nt :: NTCTX TestSP -> TestSP x -> Handler x Source #
SPStoreIdP SimpleError TestSP Source #
Instance details Defined in SAML2.WebSSO.Test.Util.TestSP Associated Types type IdPConfigExtra TestSP Source # type IdPConfigSPId TestSP Source # Methods storeIdPConfig :: IdPConfig (IdPConfigExtra TestSP) -> TestSP () Source # getIdPConfig :: IdPId -> TestSP (IdPConfig (IdPConfigExtra TestSP)) Source # getIdPConfigByIssuer :: Issuer -> IdPConfigSPId TestSP -> TestSP (IdPConfig (IdPConfigExtra TestSP)) Source # getIdPConfigByIssuerOptionalSPId :: Issuer -> Maybe (IdPConfigSPId TestSP) -> TestSP (IdPConfig (IdPConfigExtra TestSP)) Source #
SPStoreID Assertion TestSP Source #
Instance details Defined in SAML2.WebSSO.Test.Util.TestSP Methods storeID :: ID Assertion -> Time -> TestSP () Source # unStoreID :: ID Assertion -> TestSP () Source # isAliveID :: ID Assertion -> TestSP Bool Source #
SPStoreID AuthnRequest TestSP Source #
Instance details Defined in SAML2.WebSSO.Test.Util.TestSP Methods storeID :: ID AuthnRequest -> Time -> TestSP () Source # unStoreID :: ID AuthnRequest -> TestSP () Source # isAliveID :: ID AuthnRequest -> TestSP Bool Source #
type IdPConfigExtra TestSP Source #
Instance details Defined in SAML2.WebSSO.Test.Util.TestSP type IdPConfigExtra TestSP = ()
type IdPConfigSPId TestSP Source #
Instance details Defined in SAML2.WebSSO.Test.Util.TestSP type IdPConfigSPId TestSP = Void
type NTCTX TestSP Source #
Instance details Defined in SAML2.WebSSO.Test.Util.TestSP type NTCTX TestSP = CtxV

simpleStoreID :: (MonadIO m, MonadReader (MVar ctx) m) => Lens' ctx (Map (ID a) Time) -> ID a -> Time -> m () Source #

These helpers are very similar to the ones in SAML2.WebSSO.API.Example. Exercise to the reader: implement only once, use twice. (Some hints: None of the "lens through IORefMVaretc" libraries took off. There's http://hackage.haskell.org/package/monad-var but I haven't looked at it. You might also want to read ekmett's comments at https://www.reddit.com/r/haskell/comments/8gc8p0/extensible_monadic_lenses/. Don't ask me about monadic lenses though, I'm really clueless.)

simpleUnStoreID :: (MonadIO m, MonadReader (MVar ctx) m) => Lens' ctx (Map (ID a) Time) -> ID a -> m () Source #

simpleIsAliveID :: (MonadIO m, MonadReader (MVar ctx) m, SP m) => Lens' ctx (Map (ID a) Time) -> ID a -> m Bool Source #

readIdPs :: TestSP [IdPConfig_] Source #

handlerFromTestSP :: CtxV -> TestSP a -> Handler a Source #

ioFromTestSP :: CtxV -> TestSP a -> IO a Source #

withapp :: forall (api :: Type). HasServer api '[] => Proxy api -> ServerT api TestSP -> IO CtxV -> SpecWith (CtxV, Application) -> Spec Source #

capture' :: HasCallStack => IO a -> IO a Source #

captureApplication :: HasCallStack => Application -> Application Source #

runtest :: (CtxV -> WaiSession () a) -> (CtxV, Application) -> IO a Source #

runtest' :: WaiSession () a -> (CtxV, Application) -> IO a Source #

mkTestCtxSimple :: MonadIO m => m CtxV Source #

mkTestCtxWithIdP :: MonadIO m => m CtxV Source #

makeTestIdPConfig :: (MonadIO m, MonadRandom m) => m (IdPConfig (), SampleIdP) Source #

construct a hypothetical idp configuration from sample metadata and credentials, without actually registering it.

makeSampleIdPMetadata :: HasCallStack => (MonadIO m, MonadRandom m) => m SampleIdP Source #

makeIssuer :: MonadIO m => m Issuer Source #

mkTestSPMetadata :: (Monad m, HasConfig m) => m SPMetadata Source #

verbose :: Ctx -> Ctx Source #

Use this to see more output on a per-test basis.

timeLongAgo :: Time Source #

timeInALongTime :: Time Source #

timeNow :: Time Source #

timeIn5seconds :: Time Source #

timeIn10seconds :: Time Source #

timeIn10minutes :: Time Source #

timeIn20minutes :: Time Source #

modifyCtx :: (HasCallStack, MonadIO m, MonadReader CtxV m) => (Ctx -> (Ctx, a)) -> m a Source #

modifyCtx_ :: (HasCallStack, MonadIO m, MonadReader CtxV m) => (Ctx -> Ctx) -> m () Source #

timeTravel :: (HasCallStack, MonadIO m, MonadReader CtxV m) => NominalDiffTime -> m a -> m a Source #

Run an action at a time specified relative to now. This does NOT support hspec's parallel.