Eve.Internal.Actions

Documentation

newtype Action zoomed a

Constructors

Action

Fields

• getAction :: FreeT ActionF (StateT zoomed IO) a

Instances

MonadState zoomed (Action zoomed)

Methods

get :: Action zoomed zoomed

put :: zoomed -> Action zoomed ()

state :: (zoomed -> (a, zoomed)) -> Action zoomed a

MonadFree ActionF (Action zoomed)

Methods

wrap :: ActionF (Action zoomed a) -> Action zoomed a

Monad (Action zoomed)

Methods

(>>=) :: Action zoomed a -> (a -> Action zoomed b) -> Action zoomed b

(>>) :: Action zoomed a -> Action zoomed b -> Action zoomed b

return :: a -> Action zoomed a

fail :: String -> Action zoomed a

Functor (Action zoomed)

Methods

fmap :: (a -> b) -> Action zoomed a -> Action zoomed b

(<$) :: a -> Action zoomed b -> Action zoomed a

Applicative (Action zoomed)

Methods

pure :: a -> Action zoomed a

(<*>) :: Action zoomed (a -> b) -> Action zoomed a -> Action zoomed b

(*>) :: Action zoomed a -> Action zoomed b -> Action zoomed b

(<*) :: Action zoomed a -> Action zoomed b -> Action zoomed a

MonadIO (Action zoomed)

Methods

liftIO :: IO a -> Action zoomed a

Zoom (Action s) (Action t) s t

Methods

zoom :: LensLike' (Zoomed (Action s) c) t s -> Action s c -> Action t c

type Zoomed (Action s)

type Zoomed (Action s) = Zoomed (FreeT ActionF (StateT s IO))

newtype ActionF next

Constructors

LiftAction (StateT AppState IO next)

Instances

Functor ActionF

Methods

fmap :: (a -> b) -> ActionF a -> ActionF b

(<$) :: a -> ActionF b -> ActionF a

Applicative ActionF

Methods

pure :: a -> ActionF a

(<*>) :: ActionF (a -> b) -> ActionF a -> ActionF b

(*>) :: ActionF a -> ActionF b -> ActionF b

(<*) :: ActionF a -> ActionF b -> ActionF a

MonadFree ActionF (Action zoomed)

Methods

wrap :: ActionF (Action zoomed a) -> Action zoomed a

type App a = Action AppState a

execApp :: AppState -> Action AppState a -> IO a

data AppState

Constructors

AppState

Fields

• _baseExts :: Exts
• _asyncQueue :: Output (App ())

Instances

HasEvents AppState

HasExts AppState

Methods

exts :: Lens' AppState Exts

asyncQueue :: Lens' AppState (Output (App ()))

liftAction :: Action AppState a -> Action zoomed a

runAction :: Zoom m n s t => LensLike' (Zoomed m c) t s -> m c -> n c

exit :: App ()

isExiting :: App Bool

newtype Exiting

Constructors

Exiting Bool

Instances

Eq Exiting

Methods

(==) :: Exiting -> Exiting -> Bool

(/=) :: Exiting -> Exiting -> Bool

Show Exiting

Methods

showsPrec :: Int -> Exiting -> ShowS

show :: Exiting -> String

showList :: [Exiting] -> ShowS

Default Exiting

Methods

def :: Exiting