Safe Haskell	None
Language	Haskell2010

Test.Sandwich.Internal

Description

Internal functionality exposed for sibling libraries such as sandwich-webdriver to use. Should not be used otherwise.

Synopsis

type Spec context m = SpecFree context m ()
type SpecFree context m a = Free (SpecCommand context m) a
class HasBaseContext a
class HasLabel context (l :: Symbol) a
data LabelValue (l :: Symbol) a = LabelValue a
data (a :: *) :> (b :: *) = a :> b
type ExampleM context = ExampleT context IO
newtype ExampleT context m a = ExampleT {
- unExampleT :: ReaderT context (LoggingT m) a
}
data RunNodeWithStatus context s l t where
- RunNodeBefore :: {..} -> RunNodeWithStatus context s l t
- RunNodeAfter :: {..} -> RunNodeWithStatus context s l t
- RunNodeIntroduce :: Typeable intro => {..} -> RunNodeWithStatus context s l t
- RunNodeIntroduceWith :: {..} -> RunNodeWithStatus context s l t
- RunNodeAround :: {..} -> RunNodeWithStatus context s l t
- RunNodeDescribe :: {..} -> RunNodeWithStatus context s l t
- RunNodeParallel :: {..} -> RunNodeWithStatus context s l t
- RunNodeIt :: {..} -> RunNodeWithStatus context s l t
type RunNodeFixed context = RunNodeWithStatus context Status (Seq LogEntry) Bool
type RunNode context = RunNodeWithStatus context (Var Status) (Var (Seq LogEntry)) (Var Bool)
data RunNodeCommonWithStatus s l t = RunNodeCommonWithStatus {
- runTreeLabel :: String
- runTreeId :: Int
- runTreeAncestors :: Seq Int
- runTreeToggled :: t
- runTreeOpen :: t
- runTreeStatus :: s
- runTreeVisible :: Bool
- runTreeFolder :: Maybe FilePath
- runTreeVisibilityLevel :: Int
- runTreeRecordTime :: Bool
- runTreeLogs :: l
- runTreeLoc :: Maybe SrcLoc
}
extractValues :: (forall context. RunNodeWithStatus context s l t -> a) -> RunNodeWithStatus context s l t -> [a]
extractValuesControlRecurse :: (forall context. RunNodeWithStatus context s l t -> (Bool, a)) -> RunNodeWithStatus context s l t -> [a]
getCommons :: RunNodeWithStatus context s l t -> [RunNodeCommonWithStatus s l t]
cancelNode :: RunNode context -> IO ()
data Status
- = NotStarted
- | Running {
  - statusStartTime :: UTCTime
  - statusAsync :: Async Result
  }
- | Done {
  - statusStartTime :: UTCTime
  - statusEndTime :: UTCTime
  - statusResult :: Result
  }
fixRunTree :: RunNode context -> STM (RunNodeFixed context)
waitForTree :: RunNode context -> IO Result
newtype SomeAsyncExceptionWithEq = SomeAsyncExceptionWithEq SomeAsyncException
logEntryStr :: LogEntry -> LogStr

Documentation

type Spec context m = SpecFree context m () Source #

type SpecFree context m a = Free (SpecCommand context m) a Source #

class HasBaseContext a Source #

Has-* class for asserting a BaseContext is available.

Minimal complete definition

getBaseContext, modifyBaseContext

Instances

Instances details

HasBaseContext BaseContext Source #
Instance details Defined in Test.Sandwich.Types.RunTree Methods getBaseContext :: BaseContext -> BaseContext modifyBaseContext :: BaseContext -> (BaseContext -> BaseContext) -> BaseContext
HasBaseContext context => HasBaseContext (intro :> context) Source #
Instance details Defined in Test.Sandwich.Types.RunTree Methods getBaseContext :: (intro :> context) -> BaseContext modifyBaseContext :: (intro :> context) -> (BaseContext -> BaseContext) -> intro :> context

class HasLabel context (l :: Symbol) a Source #

Minimal complete definition

getLabelValue

Instances

Instances details

HasLabel context l a => HasLabel (intro :> context) l a Source #
Instance details Defined in Test.Sandwich.Types.Spec Methods getLabelValue :: Label l a -> (intro :> context) -> a
HasLabel (LabelValue l a :> context) l a Source #
Instance details Defined in Test.Sandwich.Types.Spec Methods getLabelValue :: Label l a -> (LabelValue l a :> context) -> a
HasLabel (LabelValue l a) l a Source #
Instance details Defined in Test.Sandwich.Types.Spec Methods getLabelValue :: Label l a -> LabelValue l a -> a

data LabelValue (l :: Symbol) a Source #

Constructors

LabelValue a

Instances

Instances details

HasLabel (LabelValue l a :> context) l a Source #
Instance details Defined in Test.Sandwich.Types.Spec Methods getLabelValue :: Label l a -> (LabelValue l a :> context) -> a
HasLabel (LabelValue l a) l a Source #
Instance details Defined in Test.Sandwich.Types.Spec Methods getLabelValue :: Label l a -> LabelValue l a -> a

data (a :: *) :> (b :: *) infixr 9 Source #

Constructors

a :> b infixr 9

Instances

Instances details

(Show a, Show b) => Show (a :> b) Source #
Instance details Defined in Test.Sandwich.Types.Spec Methods showsPrec :: Int -> (a :> b) -> ShowS # show :: (a :> b) -> String # showList :: [a :> b] -> ShowS #
HasBaseContext context => HasBaseContext (intro :> context) Source #
Instance details Defined in Test.Sandwich.Types.RunTree Methods getBaseContext :: (intro :> context) -> BaseContext modifyBaseContext :: (intro :> context) -> (BaseContext -> BaseContext) -> intro :> context
HasLabel context l a => HasLabel (intro :> context) l a Source #
Instance details Defined in Test.Sandwich.Types.Spec Methods getLabelValue :: Label l a -> (intro :> context) -> a
HasLabel (LabelValue l a :> context) l a Source #
Instance details Defined in Test.Sandwich.Types.Spec Methods getLabelValue :: Label l a -> (LabelValue l a :> context) -> a

type ExampleM context = ExampleT context IO Source #

newtype ExampleT context m a Source #

Constructors

ExampleT
Fields unExampleT :: ReaderT context (LoggingT m) a

Instances

Instances details

Monad m => MonadReader context (ExampleT context m) Source #
Instance details Defined in Test.Sandwich.Types.Spec Methods ask :: ExampleT context m context # local :: (context -> context) -> ExampleT context m a -> ExampleT context m a # reader :: (context -> a) -> ExampleT context m a #
MonadBase b m => MonadBase b (ExampleT context m) Source #
Instance details Defined in Test.Sandwich.Types.Spec Methods liftBase :: b α -> ExampleT context m α #
MonadBaseControl b m => MonadBaseControl b (ExampleT context m) Source #
Instance details Defined in Test.Sandwich.Types.Spec Associated Types type StM (ExampleT context m) a # Methods liftBaseWith :: (RunInBase (ExampleT context m) b -> b a) -> ExampleT context m a # restoreM :: StM (ExampleT context m) a -> ExampleT context m a #
MonadTrans (ExampleT context) Source #
Instance details Defined in Test.Sandwich.Types.Spec Methods lift :: Monad m => m a -> ExampleT context m a #
MonadTransControl (ExampleT context) Source #
Instance details Defined in Test.Sandwich.Types.Spec Associated Types type StT (ExampleT context) a # Methods liftWith :: Monad m => (Run (ExampleT context) -> m a) -> ExampleT context m a # restoreT :: Monad m => m (StT (ExampleT context) a) -> ExampleT context m a #
Monad m => Monad (ExampleT context m) Source #
Instance details Defined in Test.Sandwich.Types.Spec Methods (>>=) :: ExampleT context m a -> (a -> ExampleT context m b) -> ExampleT context m b # (>>) :: ExampleT context m a -> ExampleT context m b -> ExampleT context m b # return :: a -> ExampleT context m a #
Functor m => Functor (ExampleT context m) Source #
Instance details Defined in Test.Sandwich.Types.Spec Methods fmap :: (a -> b) -> ExampleT context m a -> ExampleT context m b # (<$) :: a -> ExampleT context m b -> ExampleT context m a #
(Monad m, MonadThrow m) => MonadFail (ExampleT context m) Source #
Instance details Defined in Test.Sandwich.Types.Spec Methods fail :: String -> ExampleT context m a #
Applicative m => Applicative (ExampleT context m) Source #
Instance details Defined in Test.Sandwich.Types.Spec Methods pure :: a -> ExampleT context m a # (<>) :: ExampleT context m (a -> b) -> ExampleT context m a -> ExampleT context m b # liftA2 :: (a -> b -> c) -> ExampleT context m a -> ExampleT context m b -> ExampleT context m c # (>) :: ExampleT context m a -> ExampleT context m b -> ExampleT context m b # (<*) :: ExampleT context m a -> ExampleT context m b -> ExampleT context m a #
MonadIO m => MonadIO (ExampleT context m) Source #
Instance details Defined in Test.Sandwich.Types.Spec Methods liftIO :: IO a -> ExampleT context m a #
(MonadIO m, MonadUnliftIO m) => MonadUnliftIO (ExampleT context m) Source #
Instance details Defined in Test.Sandwich.Types.Spec Methods withRunInIO :: ((forall a. ExampleT context m a -> IO a) -> IO b) -> ExampleT context m b #
MonadThrow m => MonadThrow (ExampleT context m) Source #
Instance details Defined in Test.Sandwich.Types.Spec Methods throwM :: Exception e => e -> ExampleT context m a #
MonadCatch m => MonadCatch (ExampleT context m) Source #
Instance details Defined in Test.Sandwich.Types.Spec Methods catch :: Exception e => ExampleT context m a -> (e -> ExampleT context m a) -> ExampleT context m a #
MonadMask m => MonadMask (ExampleT context m) Source #
Instance details Defined in Test.Sandwich.Types.Spec Methods mask :: ((forall a. ExampleT context m a -> ExampleT context m a) -> ExampleT context m b) -> ExampleT context m b # uninterruptibleMask :: ((forall a. ExampleT context m a -> ExampleT context m a) -> ExampleT context m b) -> ExampleT context m b # generalBracket :: ExampleT context m a -> (a -> ExitCase b -> ExampleT context m c) -> (a -> ExampleT context m b) -> ExampleT context m (b, c) #
MonadIO m => MonadLogger (ExampleT context m) Source #
Instance details Defined in Test.Sandwich.Types.Spec Methods monadLoggerLog :: ToLogStr msg => Loc -> LogSource -> LogLevel -> msg -> ExampleT context m () #
MonadIO m => MonadLoggerIO (ExampleT context m) Source #
Instance details Defined in Test.Sandwich.Types.Spec Methods askLoggerIO :: ExampleT context m (Loc -> LogSource -> LogLevel -> LogStr -> IO ()) #
type StT (ExampleT context) a Source #
Instance details Defined in Test.Sandwich.Types.Spec type StT (ExampleT context) a = StT LoggingT (StT (ReaderT context) a)
type StM (ExampleT context m) a Source #
Instance details Defined in Test.Sandwich.Types.Spec type StM (ExampleT context m) a = ComposeSt (ExampleT context) m a

data RunNodeWithStatus context s l t where Source #

Constructors

RunNodeBefore
Fields :: { runNodeCommon :: RunNodeCommonWithStatus s l t , runNodeChildren :: [RunNodeWithStatus context s l t] , runNodeBefore :: ExampleT context IO () } -> RunNodeWithStatus context s l t
RunNodeAfter
Fields :: { runNodeCommon :: RunNodeCommonWithStatus s l t , runNodeChildren :: [RunNodeWithStatus context s l t] , runNodeAfter :: ExampleT context IO () } -> RunNodeWithStatus context s l t
RunNodeIntroduce
Fields :: Typeable intro => { runNodeCommon :: RunNodeCommonWithStatus s l t , runNodeChildrenAugmented :: [RunNodeWithStatus (LabelValue lab intro :> context) s l t] , runNodeAlloc :: ExampleT context IO intro , runNodeCleanup :: intro -> ExampleT context IO () } -> RunNodeWithStatus context s l t
RunNodeIntroduceWith
Fields :: { runNodeCommon :: RunNodeCommonWithStatus s l t , runNodeChildrenAugmented :: [RunNodeWithStatus (LabelValue lab intro :> context) s l t] , runNodeIntroduceAction :: (intro -> ExampleT context IO [Result]) -> ExampleT context IO () } -> RunNodeWithStatus context s l t
RunNodeAround
Fields :: { runNodeCommon :: RunNodeCommonWithStatus s l t , runNodeChildren :: [RunNodeWithStatus context s l t] , runNodeActionWith :: ExampleT context IO [Result] -> ExampleT context IO () } -> RunNodeWithStatus context s l t
RunNodeDescribe
Fields :: { runNodeCommon :: RunNodeCommonWithStatus s l t , runNodeChildren :: [RunNodeWithStatus context s l t] } -> RunNodeWithStatus context s l t
RunNodeParallel
Fields :: { runNodeCommon :: RunNodeCommonWithStatus s l t , runNodeChildren :: [RunNodeWithStatus context s l t] } -> RunNodeWithStatus context s l t
RunNodeIt
Fields :: { runNodeCommon :: RunNodeCommonWithStatus s l t , runNodeExample :: ExampleT context IO () } -> RunNodeWithStatus context s l t

type RunNodeFixed context = RunNodeWithStatus context Status (Seq LogEntry) Bool Source #

type RunNode context = RunNodeWithStatus context (Var Status) (Var (Seq LogEntry)) (Var Bool) Source #

data RunNodeCommonWithStatus s l t Source #

Constructors

RunNodeCommonWithStatus
Fields runTreeLabel :: String runTreeId :: Int runTreeAncestors :: Seq Int runTreeToggled :: t runTreeOpen :: t runTreeStatus :: s runTreeVisible :: Bool runTreeFolder :: Maybe FilePath runTreeVisibilityLevel :: Int runTreeRecordTime :: Bool runTreeLogs :: l runTreeLoc :: Maybe SrcLoc

Instances

Instances details

(Eq t, Eq s, Eq l) => Eq (RunNodeCommonWithStatus s l t) Source #
Instance details Defined in Test.Sandwich.Types.RunTree Methods (==) :: RunNodeCommonWithStatus s l t -> RunNodeCommonWithStatus s l t -> Bool # (/=) :: RunNodeCommonWithStatus s l t -> RunNodeCommonWithStatus s l t -> Bool #
(Show t, Show s, Show l) => Show (RunNodeCommonWithStatus s l t) Source #
Instance details Defined in Test.Sandwich.Types.RunTree Methods showsPrec :: Int -> RunNodeCommonWithStatus s l t -> ShowS # show :: RunNodeCommonWithStatus s l t -> String # showList :: [RunNodeCommonWithStatus s l t] -> ShowS #

extractValues :: (forall context. RunNodeWithStatus context s l t -> a) -> RunNodeWithStatus context s l t -> [a] Source #

extractValuesControlRecurse :: (forall context. RunNodeWithStatus context s l t -> (Bool, a)) -> RunNodeWithStatus context s l t -> [a] Source #

getCommons :: RunNodeWithStatus context s l t -> [RunNodeCommonWithStatus s l t] Source #

cancelNode :: RunNode context -> IO () Source #

data Status Source #

Constructors

NotStarted
Running
Fields statusStartTime :: UTCTime statusAsync :: Async Result
Done
Fields statusStartTime :: UTCTime statusEndTime :: UTCTime statusResult :: Result

Instances

Instances details

Eq Status Source #
Instance details Defined in Test.Sandwich.Types.RunTree Methods (==) :: Status -> Status -> Bool # (/=) :: Status -> Status -> Bool #
Show Status Source #
Instance details Defined in Test.Sandwich.Types.RunTree Methods showsPrec :: Int -> Status -> ShowS # show :: Status -> String # showList :: [Status] -> ShowS #

fixRunTree :: RunNode context -> STM (RunNodeFixed context) Source #

waitForTree :: RunNode context -> IO Result Source #

Wait for a tree, catching any synchronous exceptions and returning them as a list

newtype SomeAsyncExceptionWithEq Source #

Constructors

SomeAsyncExceptionWithEq SomeAsyncException

Instances

Instances details

Eq SomeAsyncExceptionWithEq Source #
Instance details Defined in Test.Sandwich.Types.Spec Methods (==) :: SomeAsyncExceptionWithEq -> SomeAsyncExceptionWithEq -> Bool # (/=) :: SomeAsyncExceptionWithEq -> SomeAsyncExceptionWithEq -> Bool #
Show SomeAsyncExceptionWithEq Source #
Instance details Defined in Test.Sandwich.Types.Spec Methods showsPrec :: Int -> SomeAsyncExceptionWithEq -> ShowS # show :: SomeAsyncExceptionWithEq -> String # showList :: [SomeAsyncExceptionWithEq] -> ShowS #

logEntryStr :: LogEntry -> LogStr Source #