Reflex.Vty.Widget

Running a vty application

mainWidgetWithHandle :: Vty -> (forall t m. (MonadVtyApp t m, HasImageWriter t m, MonadNodeId m, HasDisplayRegion t m, HasFocusReader t m, HasInput t m, HasTheme t m) => m (Event t ())) -> IO ()

Sets up the top-level context for a vty widget and runs it with that context

data VtyWidgetOut t

The output of a vty widget

Constructors

VtyWidgetOut

Fields

• _vtyWidgetOut_shutdown :: Event t ()

mainWidget :: (forall t m. (MonadVtyApp t m, HasImageWriter t m, MonadNodeId m, HasDisplayRegion t m, HasFocusReader t m, HasTheme t m, HasInput t m) => m (Event t ())) -> IO ()

Like mainWidgetWithHandle, but uses a default vty configuration

Input Events

class HasInput t m | m -> t where

A class for things that can receive vty events as input

Minimal complete definition

Nothing

Methods

input :: m (Event t VtyEvent)

input :: (f m' ~ m, Monad m', MonadTrans f, HasInput t m') => m (Event t VtyEvent)

localInput :: (Event t VtyEvent -> Event t VtyEvent) -> m a -> m a

User input events that the widget's parent chooses to share. These will generally be filtered for relevance.

localInput :: (f m' ~ m, Monad m', MFunctor f, HasInput t m') => (Event t VtyEvent -> Event t VtyEvent) -> m a -> m a

User input events that the widget's parent chooses to share. These will generally be filtered for relevance.

Instances

(Reflex t, Monad m) => HasInput (t :: k) (Input t m)

Defined in Reflex.Vty.Widget

Methods

input :: Input t m (Event t VtyEvent)

localInput :: (Event t VtyEvent -> Event t VtyEvent) -> Input t m a -> Input t m a

(HasInput t m, HasDisplayRegion t m, MonadFix m, Reflex t) => HasInput (t :: Type) (Layout t m)

Defined in Reflex.Vty.Widget.Layout

Methods

input :: Layout t m (Event t VtyEvent)

localInput :: (Event t VtyEvent -> Event t VtyEvent) -> Layout t m a -> Layout t m a

(Reflex t, MonadFix m, HasInput t m) => HasInput (t :: Type) (Focus t m)

Defined in Reflex.Vty.Widget.Layout

Methods

input :: Focus t m (Event t VtyEvent)

localInput :: (Event t VtyEvent -> Event t VtyEvent) -> Focus t m a -> Focus t m a

newtype Input t m a

A widget that can receive input events. See Event

Constructors

Input

Fields

• unInput :: ReaderT (Event t VtyEvent) m a

Instances

MonadSample t m => MonadSample (t :: k) (Input t m)

Defined in Reflex.Vty.Widget

Methods

sample :: Behavior t a -> Input t m a

MonadHold t m => MonadHold (t :: k) (Input t m)

Defined in Reflex.Vty.Widget

Methods

hold :: a -> Event t a -> Input t m (Behavior t a)

holdDyn :: a -> Event t a -> Input t m (Dynamic t a)

holdIncremental :: Patch p => PatchTarget p -> Event t p -> Input t m (Incremental t p)

buildDynamic :: PushM t a -> Event t a -> Input t m (Dynamic t a)

headE :: Event t a -> Input t m (Event t a)

now :: Input t m (Event t ())

HasTheme t m => HasTheme (t :: k) (Input t m)

Defined in Reflex.Vty.Widget

Methods

theme :: Input t m (Behavior t Attr)

localTheme :: (Behavior t Attr -> Behavior t Attr) -> Input t m a -> Input t m a

HasImageWriter t m => HasImageWriter (t :: k) (Input t m)

Defined in Reflex.Vty.Widget

Methods

tellImages :: Behavior t [Image] -> Input t m ()

mapImages :: (Behavior t [Image] -> Behavior t [Image]) -> Input t m a -> Input t m a

HasFocusReader t m => HasFocusReader (t :: k) (Input t m)

Defined in Reflex.Vty.Widget

Methods

focus :: Input t m (Dynamic t Bool)

localFocus :: (Dynamic t Bool -> Dynamic t Bool) -> Input t m a -> Input t m a

HasDisplayRegion t m => HasDisplayRegion (t :: k) (Input t m)

Defined in Reflex.Vty.Widget

Methods

askRegion :: Input t m (Dynamic t Region)

localRegion :: (Dynamic t Region -> Dynamic t Region) -> Input t m a -> Input t m a

(Reflex t, Monad m) => HasInput (t :: k) (Input t m)

Defined in Reflex.Vty.Widget

Methods

input :: Input t m (Event t VtyEvent)

localInput :: (Event t VtyEvent -> Event t VtyEvent) -> Input t m a -> Input t m a

NotReady t m => NotReady t (Input t m)

Defined in Reflex.Vty.Widget

Methods

notReadyUntil :: Event t a -> Input t m ()

notReady :: Input t m ()

PerformEvent t m => PerformEvent t (Input t m)

Defined in Reflex.Vty.Widget

Associated Types

type Performable (Input t m) :: Type -> Type

Methods

performEvent :: Event t (Performable (Input t m) a) -> Input t m (Event t a)

performEvent_ :: Event t (Performable (Input t m) ()) -> Input t m ()

TriggerEvent t m => TriggerEvent t (Input t m)

Defined in Reflex.Vty.Widget

Methods

newTriggerEvent :: Input t m (Event t a, a -> IO ())

newTriggerEventWithOnComplete :: Input t m (Event t a, a -> IO () -> IO ())

newEventWithLazyTriggerWithOnComplete :: ((a -> IO () -> IO ()) -> IO (IO ())) -> Input t m (Event t a)

PostBuild t m => PostBuild t (Input t m)

Defined in Reflex.Vty.Widget

Methods

getPostBuild :: Input t m (Event t ())

MonadReflexCreateTrigger t m => MonadReflexCreateTrigger t (Input t m)

Defined in Reflex.Vty.Widget

Methods

newEventWithTrigger :: (EventTrigger t a -> IO (IO ())) -> Input t m (Event t a)

newFanEventWithTrigger :: GCompare k => (forall a. k a -> EventTrigger t a -> IO (IO ())) -> Input t m (EventSelector t k)

(Adjustable t m, MonadHold t m, Reflex t) => Adjustable t (Input t m)

Defined in Reflex.Vty.Widget

Methods

runWithReplace :: Input t m a -> Event t (Input t m b) -> Input t m (a, Event t b)

traverseIntMapWithKeyWithAdjust :: (Key -> v -> Input t m v') -> IntMap v -> Event t (PatchIntMap v) -> Input t m (IntMap v', Event t (PatchIntMap v'))

traverseDMapWithKeyWithAdjust :: GCompare k => (forall a. k a -> v a -> Input t m (v' a)) -> DMap k v -> Event t (PatchDMap k v) -> Input t m (DMap k v', Event t (PatchDMap k v'))

traverseDMapWithKeyWithAdjustWithMove :: GCompare k => (forall a. k a -> v a -> Input t m (v' a)) -> DMap k v -> Event t (PatchDMapWithMove k v) -> Input t m (DMap k v', Event t (PatchDMapWithMove k v'))

MFunctor (Input t :: (Type -> Type) -> Type -> Type)

Defined in Reflex.Vty.Widget

Methods

hoist :: Monad m => (forall a. m a -> n a) -> Input t m b -> Input t n b

MonadTrans (Input t)

Defined in Reflex.Vty.Widget

Methods

lift :: Monad m => m a -> Input t m a

Monad m => Monad (Input t m)

Defined in Reflex.Vty.Widget

Methods

(>>=) :: Input t m a -> (a -> Input t m b) -> Input t m b

(>>) :: Input t m a -> Input t m b -> Input t m b

return :: a -> Input t m a

fail :: String -> Input t m a

Functor m => Functor (Input t m)

Defined in Reflex.Vty.Widget

Methods

fmap :: (a -> b) -> Input t m a -> Input t m b

(<$) :: a -> Input t m b -> Input t m a

MonadFix m => MonadFix (Input t m)

Defined in Reflex.Vty.Widget

Methods

mfix :: (a -> Input t m a) -> Input t m a

Applicative m => Applicative (Input t m)

Defined in Reflex.Vty.Widget

Methods

pure :: a -> Input t m a

(<*>) :: Input t m (a -> b) -> Input t m a -> Input t m b

liftA2 :: (a -> b -> c) -> Input t m a -> Input t m b -> Input t m c

(*>) :: Input t m a -> Input t m b -> Input t m b

(<*) :: Input t m a -> Input t m b -> Input t m a

MonadIO m => MonadIO (Input t m)

Defined in Reflex.Vty.Widget

Methods

liftIO :: IO a -> Input t m a

MonadRef m => MonadRef (Input t m)

Defined in Reflex.Vty.Widget

Associated Types

type Ref (Input t m) :: Type -> Type

Methods

newRef :: a -> Input t m (Ref (Input t m) a)

readRef :: Ref (Input t m) a -> Input t m a

writeRef :: Ref (Input t m) a -> a -> Input t m ()

modifyRef :: Ref (Input t m) a -> (a -> a) -> Input t m ()

modifyRef' :: Ref (Input t m) a -> (a -> a) -> Input t m ()

MonadNodeId m => MonadNodeId (Input t m)

Defined in Reflex.Vty.Widget

Methods

getNextNodeId :: Input t m NodeId

type Ref (Input t m)

Defined in Reflex.Vty.Widget

type Ref (Input t m) = Ref (ReaderT (Event t VtyEvent) m)

type Performable (Input t m)

Defined in Reflex.Vty.Widget

type Performable (Input t m) = Performable (ReaderT (Event t VtyEvent) m)

runInput :: Reflex t => Event t VtyEvent -> Input t m a -> m a

Runs an Input with a given context

Filtering input

type KeyCombo = (Key, [Modifier])

Type synonym for a key and modifier combination

key :: (Monad m, Reflex t, HasInput t m) => Key -> m (Event t KeyCombo)

Emits an event that fires on a particular key press (without modifiers)

keys :: (Monad m, Reflex t, HasInput t m) => [Key] -> m (Event t KeyCombo)

Emits an event that fires on particular key presses (without modifiers)

keyCombo :: (Reflex t, Monad m, HasInput t m) => KeyCombo -> m (Event t KeyCombo)

Emit an event that fires whenever the provided key combination occurs

keyCombos :: (Reflex t, Monad m, HasInput t m) => Set KeyCombo -> m (Event t KeyCombo)

Emit an event that fires whenever any of the provided key combinations occur

filterKeys :: (Reflex t, HasInput t m) => (KeyCombo -> Bool) -> m a -> m a

Filter the keyboard input that a child widget may receive

mouseInRegion :: Region -> VtyEvent -> Maybe VtyEvent

Filter mouse input events based on whether they target a particular region and translate them to the internal coordinate system of that region.

NB: Non-mouse events are passed through unfiltered and unchanged

inputInFocusedRegion :: (HasDisplayRegion t m, HasFocusReader t m, HasInput t m) => m (Event t VtyEvent)

Filter mouse input outside the current display region and all input if the region is not focused

Getting and setting the display region

data Region

A chunk of the display area

Constructors

Region

Fields

• _region_left :: Int
• _region_top :: Int
• _region_width :: Int
• _region_height :: Int

Instances

Eq Region

Defined in Reflex.Vty.Widget

Methods

(==) :: Region -> Region -> Bool

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

Ord Region

Defined in Reflex.Vty.Widget

Methods

compare :: Region -> Region -> Ordering

(<) :: Region -> Region -> Bool

(<=) :: Region -> Region -> Bool

(>) :: Region -> Region -> Bool

(>=) :: Region -> Region -> Bool

max :: Region -> Region -> Region

min :: Region -> Region -> Region

Read Region

Defined in Reflex.Vty.Widget

Methods

readsPrec :: Int -> ReadS Region

readList :: ReadS [Region]

readPrec :: ReadPrec Region

readListPrec :: ReadPrec [Region]

Show Region

Defined in Reflex.Vty.Widget

Methods

showsPrec :: Int -> Region -> ShowS

show :: Region -> String

showList :: [Region] -> ShowS

nilRegion :: Region

A region that occupies no space.

regionSize :: Region -> (Int, Int)

The width and height of a Region

regionBlankImage :: Attr -> Region -> Image

Produces an Image that fills a region with space characters

class (Reflex t, Monad m) => HasDisplayRegion t m | m -> t where

A class for things that know their own display size dimensions

Minimal complete definition

Nothing

Methods

askRegion :: m (Dynamic t Region)

Retrieve the display region

askRegion :: (f m' ~ m, MonadTrans f, HasDisplayRegion t m') => m (Dynamic t Region)

Retrieve the display region

localRegion :: (Dynamic t Region -> Dynamic t Region) -> m a -> m a

Run an action in a local region, by applying a transformation to the region

localRegion :: (f m' ~ m, Monad m', MFunctor f, HasDisplayRegion t m') => (Dynamic t Region -> Dynamic t Region) -> m a -> m a

Run an action in a local region, by applying a transformation to the region

Instances

HasDisplayRegion t m => HasDisplayRegion (t :: k) (NodeIdT m)

Defined in Reflex.Vty.Widget

Methods

askRegion :: NodeIdT m (Dynamic t Region)

localRegion :: (Dynamic t Region -> Dynamic t Region) -> NodeIdT m a -> NodeIdT m a

HasDisplayRegion t m => HasDisplayRegion (t :: k) (ReaderT x m)

Defined in Reflex.Vty.Widget

Methods

askRegion :: ReaderT x m (Dynamic t Region)

localRegion :: (Dynamic t Region -> Dynamic t Region) -> ReaderT x m a -> ReaderT x m a

HasDisplayRegion t m => HasDisplayRegion (t :: k) (Input t m)

Defined in Reflex.Vty.Widget

Methods

askRegion :: Input t m (Dynamic t Region)

localRegion :: (Dynamic t Region -> Dynamic t Region) -> Input t m a -> Input t m a

(Monad m, Reflex t) => HasDisplayRegion (t :: k) (DisplayRegion t m)

Defined in Reflex.Vty.Widget

Methods

askRegion :: DisplayRegion t m (Dynamic t Region)

localRegion :: (Dynamic t Region -> Dynamic t Region) -> DisplayRegion t m a -> DisplayRegion t m a

HasDisplayRegion t m => HasDisplayRegion (t :: Type) (ImageWriter t m)

Defined in Reflex.Vty.Widget

Methods

askRegion :: ImageWriter t m (Dynamic t Region)

localRegion :: (Dynamic t Region -> Dynamic t Region) -> ImageWriter t m a -> ImageWriter t m a

HasDisplayRegion t m => HasDisplayRegion (t :: Type) (Layout t m)

Defined in Reflex.Vty.Widget.Layout

Methods

askRegion :: Layout t m (Dynamic t Region)

localRegion :: (Dynamic t Region -> Dynamic t Region) -> Layout t m a -> Layout t m a

HasDisplayRegion t m => HasDisplayRegion (t :: Type) (Focus t m)

Defined in Reflex.Vty.Widget.Layout

Methods

askRegion :: Focus t m (Dynamic t Region)

localRegion :: (Dynamic t Region -> Dynamic t Region) -> Focus t m a -> Focus t m a

HasDisplayRegion t m => HasDisplayRegion (t :: Type) (EventWriterT t x m)

Defined in Reflex.Vty.Widget

Methods

askRegion :: EventWriterT t x m (Dynamic t Region)

localRegion :: (Dynamic t Region -> Dynamic t Region) -> EventWriterT t x m a -> EventWriterT t x m a

HasDisplayRegion t m => HasDisplayRegion (t :: Type) (DynamicWriterT t x m)

Defined in Reflex.Vty.Widget

Methods

askRegion :: DynamicWriterT t x m (Dynamic t Region)

localRegion :: (Dynamic t Region -> Dynamic t Region) -> DynamicWriterT t x m a -> DynamicWriterT t x m a

HasDisplayRegion t m => HasDisplayRegion (t :: Type) (BehaviorWriterT t x m)

Defined in Reflex.Vty.Widget

Methods

askRegion :: BehaviorWriterT t x m (Dynamic t Region)

localRegion :: (Dynamic t Region -> Dynamic t Region) -> BehaviorWriterT t x m a -> BehaviorWriterT t x m a

displayWidth :: HasDisplayRegion t m => m (Dynamic t Int)

Retrieve the display width

displayHeight :: HasDisplayRegion t m => m (Dynamic t Int)

Retrieve the display height

newtype DisplayRegion t m a

A widget that has access to a particular region of the vty display

Constructors

DisplayRegion

Fields

• unDisplayRegion :: ReaderT (Dynamic t Region) m a

Instances

MonadSample t m => MonadSample (t :: k) (DisplayRegion t m)

Defined in Reflex.Vty.Widget

Methods

sample :: Behavior t a -> DisplayRegion t m a

MonadHold t m => MonadHold (t :: k) (DisplayRegion t m)

Defined in Reflex.Vty.Widget

Methods

hold :: a -> Event t a -> DisplayRegion t m (Behavior t a)

holdDyn :: a -> Event t a -> DisplayRegion t m (Dynamic t a)

holdIncremental :: Patch p => PatchTarget p -> Event t p -> DisplayRegion t m (Incremental t p)

buildDynamic :: PushM t a -> Event t a -> DisplayRegion t m (Dynamic t a)

headE :: Event t a -> DisplayRegion t m (Event t a)

now :: DisplayRegion t m (Event t ())

HasTheme t m => HasTheme (t :: k) (DisplayRegion t m)

Defined in Reflex.Vty.Widget

Methods

theme :: DisplayRegion t m (Behavior t Attr)

localTheme :: (Behavior t Attr -> Behavior t Attr) -> DisplayRegion t m a -> DisplayRegion t m a

HasImageWriter t m => HasImageWriter (t :: k) (DisplayRegion t m)

Defined in Reflex.Vty.Widget

Methods

tellImages :: Behavior t [Image] -> DisplayRegion t m ()

mapImages :: (Behavior t [Image] -> Behavior t [Image]) -> DisplayRegion t m a -> DisplayRegion t m a

HasFocusReader t m => HasFocusReader (t :: k) (DisplayRegion t m)

Defined in Reflex.Vty.Widget

Methods

focus :: DisplayRegion t m (Dynamic t Bool)

localFocus :: (Dynamic t Bool -> Dynamic t Bool) -> DisplayRegion t m a -> DisplayRegion t m a

(Monad m, Reflex t) => HasDisplayRegion (t :: k) (DisplayRegion t m)

Defined in Reflex.Vty.Widget

Methods

askRegion :: DisplayRegion t m (Dynamic t Region)

localRegion :: (Dynamic t Region -> Dynamic t Region) -> DisplayRegion t m a -> DisplayRegion t m a

NotReady t m => NotReady t (DisplayRegion t m)

Defined in Reflex.Vty.Widget

Methods

notReadyUntil :: Event t a -> DisplayRegion t m ()

notReady :: DisplayRegion t m ()

PerformEvent t m => PerformEvent t (DisplayRegion t m)

Defined in Reflex.Vty.Widget

Associated Types

type Performable (DisplayRegion t m) :: Type -> Type

Methods

performEvent :: Event t (Performable (DisplayRegion t m) a) -> DisplayRegion t m (Event t a)

performEvent_ :: Event t (Performable (DisplayRegion t m) ()) -> DisplayRegion t m ()

TriggerEvent t m => TriggerEvent t (DisplayRegion t m)

Defined in Reflex.Vty.Widget

Methods

newTriggerEvent :: DisplayRegion t m (Event t a, a -> IO ())

newTriggerEventWithOnComplete :: DisplayRegion t m (Event t a, a -> IO () -> IO ())

newEventWithLazyTriggerWithOnComplete :: ((a -> IO () -> IO ()) -> IO (IO ())) -> DisplayRegion t m (Event t a)

PostBuild t m => PostBuild t (DisplayRegion t m)

Defined in Reflex.Vty.Widget

Methods

getPostBuild :: DisplayRegion t m (Event t ())

MonadReflexCreateTrigger t m => MonadReflexCreateTrigger t (DisplayRegion t m)

Defined in Reflex.Vty.Widget

Methods

newEventWithTrigger :: (EventTrigger t a -> IO (IO ())) -> DisplayRegion t m (Event t a)

newFanEventWithTrigger :: GCompare k => (forall a. k a -> EventTrigger t a -> IO (IO ())) -> DisplayRegion t m (EventSelector t k)

(Adjustable t m, MonadFix m, MonadHold t m) => Adjustable t (DisplayRegion t m)

Defined in Reflex.Vty.Widget

Methods

runWithReplace :: DisplayRegion t m a -> Event t (DisplayRegion t m b) -> DisplayRegion t m (a, Event t b)

traverseIntMapWithKeyWithAdjust :: (Key -> v -> DisplayRegion t m v') -> IntMap v -> Event t (PatchIntMap v) -> DisplayRegion t m (IntMap v', Event t (PatchIntMap v'))

traverseDMapWithKeyWithAdjust :: GCompare k => (forall a. k a -> v a -> DisplayRegion t m (v' a)) -> DMap k v -> Event t (PatchDMap k v) -> DisplayRegion t m (DMap k v', Event t (PatchDMap k v'))

traverseDMapWithKeyWithAdjustWithMove :: GCompare k => (forall a. k a -> v a -> DisplayRegion t m (v' a)) -> DMap k v -> Event t (PatchDMapWithMove k v) -> DisplayRegion t m (DMap k v', Event t (PatchDMapWithMove k v'))

MFunctor (DisplayRegion t :: (Type -> Type) -> Type -> Type)

Defined in Reflex.Vty.Widget

Methods

hoist :: Monad m => (forall a. m a -> n a) -> DisplayRegion t m b -> DisplayRegion t n b

MonadTrans (DisplayRegion t)

Defined in Reflex.Vty.Widget

Methods

lift :: Monad m => m a -> DisplayRegion t m a

Monad m => Monad (DisplayRegion t m)

Defined in Reflex.Vty.Widget

Methods

(>>=) :: DisplayRegion t m a -> (a -> DisplayRegion t m b) -> DisplayRegion t m b

(>>) :: DisplayRegion t m a -> DisplayRegion t m b -> DisplayRegion t m b

return :: a -> DisplayRegion t m a

fail :: String -> DisplayRegion t m a

Functor m => Functor (DisplayRegion t m)

Defined in Reflex.Vty.Widget

Methods

fmap :: (a -> b) -> DisplayRegion t m a -> DisplayRegion t m b

(<$) :: a -> DisplayRegion t m b -> DisplayRegion t m a

MonadFix m => MonadFix (DisplayRegion t m)

Defined in Reflex.Vty.Widget

Methods

mfix :: (a -> DisplayRegion t m a) -> DisplayRegion t m a

Applicative m => Applicative (DisplayRegion t m)

Defined in Reflex.Vty.Widget

Methods

pure :: a -> DisplayRegion t m a

(<*>) :: DisplayRegion t m (a -> b) -> DisplayRegion t m a -> DisplayRegion t m b

liftA2 :: (a -> b -> c) -> DisplayRegion t m a -> DisplayRegion t m b -> DisplayRegion t m c

(*>) :: DisplayRegion t m a -> DisplayRegion t m b -> DisplayRegion t m b

(<*) :: DisplayRegion t m a -> DisplayRegion t m b -> DisplayRegion t m a

MonadIO m => MonadIO (DisplayRegion t m)

Defined in Reflex.Vty.Widget

Methods

liftIO :: IO a -> DisplayRegion t m a

MonadRef m => MonadRef (DisplayRegion t m)

Defined in Reflex.Vty.Widget

Associated Types

type Ref (DisplayRegion t m) :: Type -> Type

Methods

newRef :: a -> DisplayRegion t m (Ref (DisplayRegion t m) a)

readRef :: Ref (DisplayRegion t m) a -> DisplayRegion t m a

writeRef :: Ref (DisplayRegion t m) a -> a -> DisplayRegion t m ()

modifyRef :: Ref (DisplayRegion t m) a -> (a -> a) -> DisplayRegion t m ()

modifyRef' :: Ref (DisplayRegion t m) a -> (a -> a) -> DisplayRegion t m ()

MonadNodeId m => MonadNodeId (DisplayRegion t m)

Defined in Reflex.Vty.Widget

Methods

getNextNodeId :: DisplayRegion t m NodeId

type Ref (DisplayRegion t m)

Defined in Reflex.Vty.Widget

type Ref (DisplayRegion t m) = Ref (ReaderT (Dynamic t Region) m)

type Performable (DisplayRegion t m)

Defined in Reflex.Vty.Widget

type Performable (DisplayRegion t m) = Performable (ReaderT (Dynamic t Region) m)

runDisplayRegion :: (Reflex t, Monad m) => Dynamic t Region -> DisplayRegion t m a -> m a

Run a DisplayRegion action with a given Region

Getting focus state

class (Reflex t, Monad m) => HasFocusReader t m | m -> t where

A class for things that can dynamically gain and lose focus

Minimal complete definition

Nothing

Methods

focus :: m (Dynamic t Bool)

focus :: (f m' ~ m, Monad m', MonadTrans f, HasFocusReader t m') => m (Dynamic t Bool)

localFocus :: (Dynamic t Bool -> Dynamic t Bool) -> m a -> m a

localFocus :: (f m' ~ m, Monad m', MFunctor f, HasFocusReader t m') => (Dynamic t Bool -> Dynamic t Bool) -> m a -> m a

Instances

HasFocusReader t m => HasFocusReader (t :: k) (NodeIdT m)

Defined in Reflex.Vty.Widget

Methods

focus :: NodeIdT m (Dynamic t Bool)

localFocus :: (Dynamic t Bool -> Dynamic t Bool) -> NodeIdT m a -> NodeIdT m a

HasFocusReader t m => HasFocusReader (t :: k) (ReaderT x m)

Defined in Reflex.Vty.Widget

Methods

focus :: ReaderT x m (Dynamic t Bool)

localFocus :: (Dynamic t Bool -> Dynamic t Bool) -> ReaderT x m a -> ReaderT x m a

HasFocusReader t m => HasFocusReader (t :: k) (DisplayRegion t m)

Defined in Reflex.Vty.Widget

Methods

focus :: DisplayRegion t m (Dynamic t Bool)

localFocus :: (Dynamic t Bool -> Dynamic t Bool) -> DisplayRegion t m a -> DisplayRegion t m a

HasFocusReader t m => HasFocusReader (t :: k) (Input t m)

Defined in Reflex.Vty.Widget

Methods

focus :: Input t m (Dynamic t Bool)

localFocus :: (Dynamic t Bool -> Dynamic t Bool) -> Input t m a -> Input t m a

(Monad m, Reflex t) => HasFocusReader (t :: k) (FocusReader t m)

Defined in Reflex.Vty.Widget

Methods

focus :: FocusReader t m (Dynamic t Bool)

localFocus :: (Dynamic t Bool -> Dynamic t Bool) -> FocusReader t m a -> FocusReader t m a

HasFocusReader t m => HasFocusReader (t :: Type) (ImageWriter t m)

Defined in Reflex.Vty.Widget

Methods

focus :: ImageWriter t m (Dynamic t Bool)

localFocus :: (Dynamic t Bool -> Dynamic t Bool) -> ImageWriter t m a -> ImageWriter t m a

(HasFocusReader t m, Monad m) => HasFocusReader (t :: Type) (Layout t m)

Defined in Reflex.Vty.Widget.Layout

Methods

focus :: Layout t m (Dynamic t Bool)

localFocus :: (Dynamic t Bool -> Dynamic t Bool) -> Layout t m a -> Layout t m a

(HasFocusReader t m, Monad m) => HasFocusReader (t :: Type) (Focus t m)

Defined in Reflex.Vty.Widget.Layout

Methods

focus :: Focus t m (Dynamic t Bool)

localFocus :: (Dynamic t Bool -> Dynamic t Bool) -> Focus t m a -> Focus t m a

HasFocusReader t m => HasFocusReader (t :: Type) (EventWriterT t x m)

Defined in Reflex.Vty.Widget

Methods

focus :: EventWriterT t x m (Dynamic t Bool)

localFocus :: (Dynamic t Bool -> Dynamic t Bool) -> EventWriterT t x m a -> EventWriterT t x m a

HasFocusReader t m => HasFocusReader (t :: Type) (DynamicWriterT t x m)

Defined in Reflex.Vty.Widget

Methods

focus :: DynamicWriterT t x m (Dynamic t Bool)

localFocus :: (Dynamic t Bool -> Dynamic t Bool) -> DynamicWriterT t x m a -> DynamicWriterT t x m a

HasFocusReader t m => HasFocusReader (t :: Type) (BehaviorWriterT t x m)

Defined in Reflex.Vty.Widget

Methods

focus :: BehaviorWriterT t x m (Dynamic t Bool)

localFocus :: (Dynamic t Bool -> Dynamic t Bool) -> BehaviorWriterT t x m a -> BehaviorWriterT t x m a

newtype FocusReader t m a

A widget that has access to information about whether it is focused

Constructors

FocusReader

Fields

• unFocusReader :: ReaderT (Dynamic t Bool) m a

Instances

MonadSample t m => MonadSample (t :: k) (FocusReader t m)

Defined in Reflex.Vty.Widget

Methods

sample :: Behavior t a -> FocusReader t m a

MonadHold t m => MonadHold (t :: k) (FocusReader t m)

Defined in Reflex.Vty.Widget

Methods

hold :: a -> Event t a -> FocusReader t m (Behavior t a)

holdDyn :: a -> Event t a -> FocusReader t m (Dynamic t a)

holdIncremental :: Patch p => PatchTarget p -> Event t p -> FocusReader t m (Incremental t p)

buildDynamic :: PushM t a -> Event t a -> FocusReader t m (Dynamic t a)

headE :: Event t a -> FocusReader t m (Event t a)

now :: FocusReader t m (Event t ())

HasTheme t m => HasTheme (t :: k) (FocusReader t m)

Defined in Reflex.Vty.Widget

Methods

theme :: FocusReader t m (Behavior t Attr)

localTheme :: (Behavior t Attr -> Behavior t Attr) -> FocusReader t m a -> FocusReader t m a

HasImageWriter t m => HasImageWriter (t :: k) (FocusReader t m)

Defined in Reflex.Vty.Widget

Methods

tellImages :: Behavior t [Image] -> FocusReader t m ()

mapImages :: (Behavior t [Image] -> Behavior t [Image]) -> FocusReader t m a -> FocusReader t m a

(Monad m, Reflex t) => HasFocusReader (t :: k) (FocusReader t m)

Defined in Reflex.Vty.Widget

Methods

focus :: FocusReader t m (Dynamic t Bool)

localFocus :: (Dynamic t Bool -> Dynamic t Bool) -> FocusReader t m a -> FocusReader t m a

NotReady t m => NotReady t (FocusReader t m)

Defined in Reflex.Vty.Widget

Methods

notReadyUntil :: Event t a -> FocusReader t m ()

notReady :: FocusReader t m ()

PerformEvent t m => PerformEvent t (FocusReader t m)

Defined in Reflex.Vty.Widget

Associated Types

type Performable (FocusReader t m) :: Type -> Type

Methods

performEvent :: Event t (Performable (FocusReader t m) a) -> FocusReader t m (Event t a)

performEvent_ :: Event t (Performable (FocusReader t m) ()) -> FocusReader t m ()

TriggerEvent t m => TriggerEvent t (FocusReader t m)

Defined in Reflex.Vty.Widget

Methods

newTriggerEvent :: FocusReader t m (Event t a, a -> IO ())

newTriggerEventWithOnComplete :: FocusReader t m (Event t a, a -> IO () -> IO ())

newEventWithLazyTriggerWithOnComplete :: ((a -> IO () -> IO ()) -> IO (IO ())) -> FocusReader t m (Event t a)

PostBuild t m => PostBuild t (FocusReader t m)

Defined in Reflex.Vty.Widget

Methods

getPostBuild :: FocusReader t m (Event t ())

MonadReflexCreateTrigger t m => MonadReflexCreateTrigger t (FocusReader t m)

Defined in Reflex.Vty.Widget

Methods

newEventWithTrigger :: (EventTrigger t a -> IO (IO ())) -> FocusReader t m (Event t a)

newFanEventWithTrigger :: GCompare k => (forall a. k a -> EventTrigger t a -> IO (IO ())) -> FocusReader t m (EventSelector t k)

(Adjustable t m, MonadFix m, MonadHold t m) => Adjustable t (FocusReader t m)

Defined in Reflex.Vty.Widget

Methods

runWithReplace :: FocusReader t m a -> Event t (FocusReader t m b) -> FocusReader t m (a, Event t b)

traverseIntMapWithKeyWithAdjust :: (Key -> v -> FocusReader t m v') -> IntMap v -> Event t (PatchIntMap v) -> FocusReader t m (IntMap v', Event t (PatchIntMap v'))

traverseDMapWithKeyWithAdjust :: GCompare k => (forall a. k a -> v a -> FocusReader t m (v' a)) -> DMap k v -> Event t (PatchDMap k v) -> FocusReader t m (DMap k v', Event t (PatchDMap k v'))

traverseDMapWithKeyWithAdjustWithMove :: GCompare k => (forall a. k a -> v a -> FocusReader t m (v' a)) -> DMap k v -> Event t (PatchDMapWithMove k v) -> FocusReader t m (DMap k v', Event t (PatchDMapWithMove k v'))

MFunctor (FocusReader t :: (Type -> Type) -> Type -> Type)

Defined in Reflex.Vty.Widget

Methods

hoist :: Monad m => (forall a. m a -> n a) -> FocusReader t m b -> FocusReader t n b

MonadTrans (FocusReader t)

Defined in Reflex.Vty.Widget

Methods

lift :: Monad m => m a -> FocusReader t m a

Monad m => Monad (FocusReader t m)

Defined in Reflex.Vty.Widget

Methods

(>>=) :: FocusReader t m a -> (a -> FocusReader t m b) -> FocusReader t m b

(>>) :: FocusReader t m a -> FocusReader t m b -> FocusReader t m b

return :: a -> FocusReader t m a

fail :: String -> FocusReader t m a

Functor m => Functor (FocusReader t m)

Defined in Reflex.Vty.Widget

Methods

fmap :: (a -> b) -> FocusReader t m a -> FocusReader t m b

(<$) :: a -> FocusReader t m b -> FocusReader t m a

MonadFix m => MonadFix (FocusReader t m)

Defined in Reflex.Vty.Widget

Methods

mfix :: (a -> FocusReader t m a) -> FocusReader t m a

Applicative m => Applicative (FocusReader t m)

Defined in Reflex.Vty.Widget

Methods

pure :: a -> FocusReader t m a

(<*>) :: FocusReader t m (a -> b) -> FocusReader t m a -> FocusReader t m b

liftA2 :: (a -> b -> c) -> FocusReader t m a -> FocusReader t m b -> FocusReader t m c

(*>) :: FocusReader t m a -> FocusReader t m b -> FocusReader t m b

(<*) :: FocusReader t m a -> FocusReader t m b -> FocusReader t m a

MonadIO m => MonadIO (FocusReader t m)

Defined in Reflex.Vty.Widget

Methods

liftIO :: IO a -> FocusReader t m a

MonadRef m => MonadRef (FocusReader t m)

Defined in Reflex.Vty.Widget

Associated Types

type Ref (FocusReader t m) :: Type -> Type

Methods

newRef :: a -> FocusReader t m (Ref (FocusReader t m) a)

readRef :: Ref (FocusReader t m) a -> FocusReader t m a

writeRef :: Ref (FocusReader t m) a -> a -> FocusReader t m ()

modifyRef :: Ref (FocusReader t m) a -> (a -> a) -> FocusReader t m ()

modifyRef' :: Ref (FocusReader t m) a -> (a -> a) -> FocusReader t m ()

MonadNodeId m => MonadNodeId (FocusReader t m)

Defined in Reflex.Vty.Widget

Methods

getNextNodeId :: FocusReader t m NodeId

type Ref (FocusReader t m)

Defined in Reflex.Vty.Widget

type Ref (FocusReader t m) = Ref (ReaderT (Dynamic t Bool) m)

type Performable (FocusReader t m)

Defined in Reflex.Vty.Widget

type Performable (FocusReader t m) = Performable (ReaderT (Dynamic t Bool) m)

runFocusReader :: (Reflex t, Monad m) => Dynamic t Bool -> FocusReader t m a -> m a

Run a FocusReader action with the given focus value

Image output

class (Reflex t, Monad m) => HasImageWriter t m | m -> t where

A class for widgets that can produce images to draw to the display

Minimal complete definition

Nothing

Methods

tellImages :: Behavior t [Image] -> m ()

Send images upstream for rendering

tellImages :: (f m' ~ m, Monad m', MonadTrans f, HasImageWriter t m') => Behavior t [Image] -> m ()

Send images upstream for rendering

mapImages :: (Behavior t [Image] -> Behavior t [Image]) -> m a -> m a

Apply a transformation to the images produced by the child actions

mapImages :: (f m' ~ m, Monad m', MFunctor f, HasImageWriter t m') => (Behavior t [Image] -> Behavior t [Image]) -> m a -> m a

Apply a transformation to the images produced by the child actions

Instances

HasImageWriter t m => HasImageWriter (t :: k) (NodeIdT m)

Defined in Reflex.Vty.Widget

Methods

tellImages :: Behavior t [Image] -> NodeIdT m ()

mapImages :: (Behavior t [Image] -> Behavior t [Image]) -> NodeIdT m a -> NodeIdT m a

HasImageWriter t m => HasImageWriter (t :: k) (ReaderT x m)

Defined in Reflex.Vty.Widget

Methods

tellImages :: Behavior t [Image] -> ReaderT x m ()

mapImages :: (Behavior t [Image] -> Behavior t [Image]) -> ReaderT x m a -> ReaderT x m a

HasImageWriter t m => HasImageWriter (t :: k) (FocusReader t m)

Defined in Reflex.Vty.Widget

Methods

tellImages :: Behavior t [Image] -> FocusReader t m ()

mapImages :: (Behavior t [Image] -> Behavior t [Image]) -> FocusReader t m a -> FocusReader t m a

HasImageWriter t m => HasImageWriter (t :: k) (DisplayRegion t m)

Defined in Reflex.Vty.Widget

Methods

tellImages :: Behavior t [Image] -> DisplayRegion t m ()

mapImages :: (Behavior t [Image] -> Behavior t [Image]) -> DisplayRegion t m a -> DisplayRegion t m a

HasImageWriter t m => HasImageWriter (t :: k) (Input t m)

Defined in Reflex.Vty.Widget

Methods

tellImages :: Behavior t [Image] -> Input t m ()

mapImages :: (Behavior t [Image] -> Behavior t [Image]) -> Input t m a -> Input t m a

HasImageWriter t m => HasImageWriter (t :: k) (ThemeReader t m)

Defined in Reflex.Vty.Widget

Methods

tellImages :: Behavior t [Image] -> ThemeReader t m ()

mapImages :: (Behavior t [Image] -> Behavior t [Image]) -> ThemeReader t m a -> ThemeReader t m a

(Monad m, Reflex t) => HasImageWriter (t :: Type) (ImageWriter t m)

Defined in Reflex.Vty.Widget

Methods

tellImages :: Behavior t [Image] -> ImageWriter t m ()

mapImages :: (Behavior t [Image] -> Behavior t [Image]) -> ImageWriter t m a -> ImageWriter t m a

(HasDisplayRegion t m, HasImageWriter t m, MonadFix m) => HasImageWriter (t :: Type) (Layout t m)

Defined in Reflex.Vty.Widget.Layout

Methods

tellImages :: Behavior t [Image] -> Layout t m ()

mapImages :: (Behavior t [Image] -> Behavior t [Image]) -> Layout t m a -> Layout t m a

(HasImageWriter t m, MonadFix m) => HasImageWriter (t :: Type) (Focus t m)

Defined in Reflex.Vty.Widget.Layout

Methods

tellImages :: Behavior t [Image] -> Focus t m ()

mapImages :: (Behavior t [Image] -> Behavior t [Image]) -> Focus t m a -> Focus t m a

HasImageWriter t m => HasImageWriter (t :: Type) (EventWriterT t x m)

Defined in Reflex.Vty.Widget

Methods

tellImages :: Behavior t [Image] -> EventWriterT t x m ()

mapImages :: (Behavior t [Image] -> Behavior t [Image]) -> EventWriterT t x m a -> EventWriterT t x m a

HasImageWriter t m => HasImageWriter (t :: Type) (DynamicWriterT t x m)

Defined in Reflex.Vty.Widget

Methods

tellImages :: Behavior t [Image] -> DynamicWriterT t x m ()

mapImages :: (Behavior t [Image] -> Behavior t [Image]) -> DynamicWriterT t x m a -> DynamicWriterT t x m a

HasImageWriter t m => HasImageWriter (t :: Type) (BehaviorWriterT t x m)

Defined in Reflex.Vty.Widget

Methods

tellImages :: Behavior t [Image] -> BehaviorWriterT t x m ()

mapImages :: (Behavior t [Image] -> Behavior t [Image]) -> BehaviorWriterT t x m a -> BehaviorWriterT t x m a

newtype ImageWriter t m a

A widget that can produce images to draw onto the display

Constructors

ImageWriter

Fields

• unImageWriter :: BehaviorWriterT t [Image] m a

Instances

NotReady t m => NotReady t (ImageWriter t m)

Defined in Reflex.Vty.Widget

Methods

notReadyUntil :: Event t a -> ImageWriter t m ()

notReady :: ImageWriter t m ()

PerformEvent t m => PerformEvent t (ImageWriter t m)

Defined in Reflex.Vty.Widget

Associated Types

type Performable (ImageWriter t m) :: Type -> Type

Methods

performEvent :: Event t (Performable (ImageWriter t m) a) -> ImageWriter t m (Event t a)

performEvent_ :: Event t (Performable (ImageWriter t m) ()) -> ImageWriter t m ()

TriggerEvent t m => TriggerEvent t (ImageWriter t m)

Defined in Reflex.Vty.Widget

Methods

newTriggerEvent :: ImageWriter t m (Event t a, a -> IO ())

newTriggerEventWithOnComplete :: ImageWriter t m (Event t a, a -> IO () -> IO ())

newEventWithLazyTriggerWithOnComplete :: ((a -> IO () -> IO ()) -> IO (IO ())) -> ImageWriter t m (Event t a)

PostBuild t m => PostBuild t (ImageWriter t m)

Defined in Reflex.Vty.Widget

Methods

getPostBuild :: ImageWriter t m (Event t ())

MonadReflexCreateTrigger t m => MonadReflexCreateTrigger t (ImageWriter t m)

Defined in Reflex.Vty.Widget

Methods

newEventWithTrigger :: (EventTrigger t a -> IO (IO ())) -> ImageWriter t m (Event t a)

newFanEventWithTrigger :: GCompare k => (forall a. k a -> EventTrigger t a -> IO (IO ())) -> ImageWriter t m (EventSelector t k)

(Adjustable t m, MonadFix m, MonadHold t m) => Adjustable t (ImageWriter t m)

Defined in Reflex.Vty.Widget

Methods

runWithReplace :: ImageWriter t m a -> Event t (ImageWriter t m b) -> ImageWriter t m (a, Event t b)

traverseIntMapWithKeyWithAdjust :: (Key -> v -> ImageWriter t m v') -> IntMap v -> Event t (PatchIntMap v) -> ImageWriter t m (IntMap v', Event t (PatchIntMap v'))

traverseDMapWithKeyWithAdjust :: GCompare k => (forall a. k a -> v a -> ImageWriter t m (v' a)) -> DMap k v -> Event t (PatchDMap k v) -> ImageWriter t m (DMap k v', Event t (PatchDMap k v'))

traverseDMapWithKeyWithAdjustWithMove :: GCompare k => (forall a. k a -> v a -> ImageWriter t m (v' a)) -> DMap k v -> Event t (PatchDMapWithMove k v) -> ImageWriter t m (DMap k v', Event t (PatchDMapWithMove k v'))

MonadTrans (ImageWriter t)

Defined in Reflex.Vty.Widget

Methods

lift :: Monad m => m a -> ImageWriter t m a

MonadSample t m => MonadSample (t :: Type) (ImageWriter t m)

Defined in Reflex.Vty.Widget

Methods

sample :: Behavior t a -> ImageWriter t m a

MonadHold t m => MonadHold (t :: Type) (ImageWriter t m)

Defined in Reflex.Vty.Widget

Methods

hold :: a -> Event t a -> ImageWriter t m (Behavior t a)

holdDyn :: a -> Event t a -> ImageWriter t m (Dynamic t a)

holdIncremental :: Patch p => PatchTarget p -> Event t p -> ImageWriter t m (Incremental t p)

buildDynamic :: PushM t a -> Event t a -> ImageWriter t m (Dynamic t a)

headE :: Event t a -> ImageWriter t m (Event t a)

now :: ImageWriter t m (Event t ())

HasTheme t m => HasTheme (t :: Type) (ImageWriter t m)

Defined in Reflex.Vty.Widget

Methods

theme :: ImageWriter t m (Behavior t Attr)

localTheme :: (Behavior t Attr -> Behavior t Attr) -> ImageWriter t m a -> ImageWriter t m a

(Monad m, Reflex t) => HasImageWriter (t :: Type) (ImageWriter t m)

Defined in Reflex.Vty.Widget

Methods

tellImages :: Behavior t [Image] -> ImageWriter t m ()

mapImages :: (Behavior t [Image] -> Behavior t [Image]) -> ImageWriter t m a -> ImageWriter t m a

HasFocusReader t m => HasFocusReader (t :: Type) (ImageWriter t m)

Defined in Reflex.Vty.Widget

Methods

focus :: ImageWriter t m (Dynamic t Bool)

localFocus :: (Dynamic t Bool -> Dynamic t Bool) -> ImageWriter t m a -> ImageWriter t m a

HasDisplayRegion t m => HasDisplayRegion (t :: Type) (ImageWriter t m)

Defined in Reflex.Vty.Widget

Methods

askRegion :: ImageWriter t m (Dynamic t Region)

localRegion :: (Dynamic t Region -> Dynamic t Region) -> ImageWriter t m a -> ImageWriter t m a

MFunctor (ImageWriter t :: (Type -> Type) -> Type -> Type)

Defined in Reflex.Vty.Widget

Methods

hoist :: Monad m => (forall a. m a -> n a) -> ImageWriter t m b -> ImageWriter t n b

Monad m => Monad (ImageWriter t m)

Defined in Reflex.Vty.Widget

Methods

(>>=) :: ImageWriter t m a -> (a -> ImageWriter t m b) -> ImageWriter t m b

(>>) :: ImageWriter t m a -> ImageWriter t m b -> ImageWriter t m b

return :: a -> ImageWriter t m a

fail :: String -> ImageWriter t m a

Functor m => Functor (ImageWriter t m)

Defined in Reflex.Vty.Widget

Methods

fmap :: (a -> b) -> ImageWriter t m a -> ImageWriter t m b

(<$) :: a -> ImageWriter t m b -> ImageWriter t m a

MonadFix m => MonadFix (ImageWriter t m)

Defined in Reflex.Vty.Widget

Methods

mfix :: (a -> ImageWriter t m a) -> ImageWriter t m a

Monad m => Applicative (ImageWriter t m)

Defined in Reflex.Vty.Widget

Methods

pure :: a -> ImageWriter t m a

(<*>) :: ImageWriter t m (a -> b) -> ImageWriter t m a -> ImageWriter t m b

liftA2 :: (a -> b -> c) -> ImageWriter t m a -> ImageWriter t m b -> ImageWriter t m c

(*>) :: ImageWriter t m a -> ImageWriter t m b -> ImageWriter t m b

(<*) :: ImageWriter t m a -> ImageWriter t m b -> ImageWriter t m a

MonadIO m => MonadIO (ImageWriter t m)

Defined in Reflex.Vty.Widget

Methods

liftIO :: IO a -> ImageWriter t m a

MonadRef m => MonadRef (ImageWriter t m)

Defined in Reflex.Vty.Widget

Associated Types

type Ref (ImageWriter t m) :: Type -> Type

Methods

newRef :: a -> ImageWriter t m (Ref (ImageWriter t m) a)

readRef :: Ref (ImageWriter t m) a -> ImageWriter t m a

writeRef :: Ref (ImageWriter t m) a -> a -> ImageWriter t m ()

modifyRef :: Ref (ImageWriter t m) a -> (a -> a) -> ImageWriter t m ()

modifyRef' :: Ref (ImageWriter t m) a -> (a -> a) -> ImageWriter t m ()

type Ref (ImageWriter t m)

Defined in Reflex.Vty.Widget

type Ref (ImageWriter t m) = Ref (BehaviorWriterT t [Image] m)

type Performable (ImageWriter t m)

Defined in Reflex.Vty.Widget

type Performable (ImageWriter t m) = Performable (BehaviorWriterT t [Image] m)

runImageWriter :: (Reflex t, Monad m) => ImageWriter t m a -> m (a, Behavior t [Image])

Run a widget that can produce images

Theming

class (Reflex t, Monad m) => HasTheme t m | m -> t where

A class for things that can be visually styled

Minimal complete definition

Nothing

Methods

theme :: m (Behavior t Attr)

theme :: (f m' ~ m, Monad m', MonadTrans f, HasTheme t m') => m (Behavior t Attr)

localTheme :: (Behavior t Attr -> Behavior t Attr) -> m a -> m a

localTheme :: (f m' ~ m, Monad m', MFunctor f, HasTheme t m') => (Behavior t Attr -> Behavior t Attr) -> m a -> m a

Instances

HasTheme t m => HasTheme (t :: k) (NodeIdT m)

Defined in Reflex.Vty.Widget

Methods

theme :: NodeIdT m (Behavior t Attr)

localTheme :: (Behavior t Attr -> Behavior t Attr) -> NodeIdT m a -> NodeIdT m a

HasTheme t m => HasTheme (t :: k) (ReaderT x m)

Defined in Reflex.Vty.Widget

Methods

theme :: ReaderT x m (Behavior t Attr)

localTheme :: (Behavior t Attr -> Behavior t Attr) -> ReaderT x m a -> ReaderT x m a

HasTheme t m => HasTheme (t :: k) (FocusReader t m)

Defined in Reflex.Vty.Widget

Methods

theme :: FocusReader t m (Behavior t Attr)

localTheme :: (Behavior t Attr -> Behavior t Attr) -> FocusReader t m a -> FocusReader t m a

HasTheme t m => HasTheme (t :: k) (DisplayRegion t m)

Defined in Reflex.Vty.Widget

Methods

theme :: DisplayRegion t m (Behavior t Attr)

localTheme :: (Behavior t Attr -> Behavior t Attr) -> DisplayRegion t m a -> DisplayRegion t m a

HasTheme t m => HasTheme (t :: k) (Input t m)

Defined in Reflex.Vty.Widget

Methods

theme :: Input t m (Behavior t Attr)

localTheme :: (Behavior t Attr -> Behavior t Attr) -> Input t m a -> Input t m a

(Monad m, Reflex t) => HasTheme (t :: k) (ThemeReader t m)

Defined in Reflex.Vty.Widget

Methods

theme :: ThemeReader t m (Behavior t Attr)

localTheme :: (Behavior t Attr -> Behavior t Attr) -> ThemeReader t m a -> ThemeReader t m a

HasTheme t m => HasTheme (t :: Type) (ImageWriter t m)

Defined in Reflex.Vty.Widget

Methods

theme :: ImageWriter t m (Behavior t Attr)

localTheme :: (Behavior t Attr -> Behavior t Attr) -> ImageWriter t m a -> ImageWriter t m a

(HasTheme t m, Monad m) => HasTheme (t :: Type) (Layout t m)

Defined in Reflex.Vty.Widget.Layout

Methods

theme :: Layout t m (Behavior t Attr)

localTheme :: (Behavior t Attr -> Behavior t Attr) -> Layout t m a -> Layout t m a

(HasTheme t m, Monad m) => HasTheme (t :: Type) (Focus t m)

Defined in Reflex.Vty.Widget.Layout

Methods

theme :: Focus t m (Behavior t Attr)

localTheme :: (Behavior t Attr -> Behavior t Attr) -> Focus t m a -> Focus t m a

HasTheme t m => HasTheme (t :: Type) (EventWriterT t x m)

Defined in Reflex.Vty.Widget

Methods

theme :: EventWriterT t x m (Behavior t Attr)

localTheme :: (Behavior t Attr -> Behavior t Attr) -> EventWriterT t x m a -> EventWriterT t x m a

HasTheme t m => HasTheme (t :: Type) (DynamicWriterT t x m)

Defined in Reflex.Vty.Widget

Methods

theme :: DynamicWriterT t x m (Behavior t Attr)

localTheme :: (Behavior t Attr -> Behavior t Attr) -> DynamicWriterT t x m a -> DynamicWriterT t x m a

HasTheme t m => HasTheme (t :: Type) (BehaviorWriterT t x m)

Defined in Reflex.Vty.Widget

Methods

theme :: BehaviorWriterT t x m (Behavior t Attr)

localTheme :: (Behavior t Attr -> Behavior t Attr) -> BehaviorWriterT t x m a -> BehaviorWriterT t x m a

newtype ThemeReader t m a

A widget that has access to theme information

Constructors

ThemeReader

Fields

• unThemeReader :: ReaderT (Behavior t Attr) m a

Instances

MonadSample t m => MonadSample (t :: k) (ThemeReader t m)

Defined in Reflex.Vty.Widget

Methods

sample :: Behavior t a -> ThemeReader t m a

MonadHold t m => MonadHold (t :: k) (ThemeReader t m)

Defined in Reflex.Vty.Widget

Methods

hold :: a -> Event t a -> ThemeReader t m (Behavior t a)

holdDyn :: a -> Event t a -> ThemeReader t m (Dynamic t a)

holdIncremental :: Patch p => PatchTarget p -> Event t p -> ThemeReader t m (Incremental t p)

buildDynamic :: PushM t a -> Event t a -> ThemeReader t m (Dynamic t a)

headE :: Event t a -> ThemeReader t m (Event t a)

now :: ThemeReader t m (Event t ())

(Monad m, Reflex t) => HasTheme (t :: k) (ThemeReader t m)

Defined in Reflex.Vty.Widget

Methods

theme :: ThemeReader t m (Behavior t Attr)

localTheme :: (Behavior t Attr -> Behavior t Attr) -> ThemeReader t m a -> ThemeReader t m a

HasImageWriter t m => HasImageWriter (t :: k) (ThemeReader t m)

Defined in Reflex.Vty.Widget

Methods

tellImages :: Behavior t [Image] -> ThemeReader t m ()

mapImages :: (Behavior t [Image] -> Behavior t [Image]) -> ThemeReader t m a -> ThemeReader t m a

NotReady t m => NotReady t (ThemeReader t m)

Defined in Reflex.Vty.Widget

Methods

notReadyUntil :: Event t a -> ThemeReader t m ()

notReady :: ThemeReader t m ()

PerformEvent t m => PerformEvent t (ThemeReader t m)

Defined in Reflex.Vty.Widget

Associated Types

type Performable (ThemeReader t m) :: Type -> Type

Methods

performEvent :: Event t (Performable (ThemeReader t m) a) -> ThemeReader t m (Event t a)

performEvent_ :: Event t (Performable (ThemeReader t m) ()) -> ThemeReader t m ()

TriggerEvent t m => TriggerEvent t (ThemeReader t m)

Defined in Reflex.Vty.Widget

Methods

newTriggerEvent :: ThemeReader t m (Event t a, a -> IO ())

newTriggerEventWithOnComplete :: ThemeReader t m (Event t a, a -> IO () -> IO ())

newEventWithLazyTriggerWithOnComplete :: ((a -> IO () -> IO ()) -> IO (IO ())) -> ThemeReader t m (Event t a)

PostBuild t m => PostBuild t (ThemeReader t m)

Defined in Reflex.Vty.Widget

Methods

getPostBuild :: ThemeReader t m (Event t ())

MonadReflexCreateTrigger t m => MonadReflexCreateTrigger t (ThemeReader t m)

Defined in Reflex.Vty.Widget

Methods

newEventWithTrigger :: (EventTrigger t a -> IO (IO ())) -> ThemeReader t m (Event t a)

newFanEventWithTrigger :: GCompare k => (forall a. k a -> EventTrigger t a -> IO (IO ())) -> ThemeReader t m (EventSelector t k)

(Adjustable t m, MonadFix m, MonadHold t m) => Adjustable t (ThemeReader t m)

Defined in Reflex.Vty.Widget

Methods

runWithReplace :: ThemeReader t m a -> Event t (ThemeReader t m b) -> ThemeReader t m (a, Event t b)

traverseIntMapWithKeyWithAdjust :: (Key -> v -> ThemeReader t m v') -> IntMap v -> Event t (PatchIntMap v) -> ThemeReader t m (IntMap v', Event t (PatchIntMap v'))

traverseDMapWithKeyWithAdjust :: GCompare k => (forall a. k a -> v a -> ThemeReader t m (v' a)) -> DMap k v -> Event t (PatchDMap k v) -> ThemeReader t m (DMap k v', Event t (PatchDMap k v'))

traverseDMapWithKeyWithAdjustWithMove :: GCompare k => (forall a. k a -> v a -> ThemeReader t m (v' a)) -> DMap k v -> Event t (PatchDMapWithMove k v) -> ThemeReader t m (DMap k v', Event t (PatchDMapWithMove k v'))

MFunctor (ThemeReader t :: (Type -> Type) -> Type -> Type)

Defined in Reflex.Vty.Widget

Methods

hoist :: Monad m => (forall a. m a -> n a) -> ThemeReader t m b -> ThemeReader t n b

MonadTrans (ThemeReader t)

Defined in Reflex.Vty.Widget

Methods

lift :: Monad m => m a -> ThemeReader t m a

Monad m => Monad (ThemeReader t m)

Defined in Reflex.Vty.Widget

Methods

(>>=) :: ThemeReader t m a -> (a -> ThemeReader t m b) -> ThemeReader t m b

(>>) :: ThemeReader t m a -> ThemeReader t m b -> ThemeReader t m b

return :: a -> ThemeReader t m a

fail :: String -> ThemeReader t m a

Functor m => Functor (ThemeReader t m)

Defined in Reflex.Vty.Widget

Methods

fmap :: (a -> b) -> ThemeReader t m a -> ThemeReader t m b

(<$) :: a -> ThemeReader t m b -> ThemeReader t m a

MonadFix m => MonadFix (ThemeReader t m)

Defined in Reflex.Vty.Widget

Methods

mfix :: (a -> ThemeReader t m a) -> ThemeReader t m a

Applicative m => Applicative (ThemeReader t m)

Defined in Reflex.Vty.Widget

Methods

pure :: a -> ThemeReader t m a

(<*>) :: ThemeReader t m (a -> b) -> ThemeReader t m a -> ThemeReader t m b

liftA2 :: (a -> b -> c) -> ThemeReader t m a -> ThemeReader t m b -> ThemeReader t m c

(*>) :: ThemeReader t m a -> ThemeReader t m b -> ThemeReader t m b

(<*) :: ThemeReader t m a -> ThemeReader t m b -> ThemeReader t m a

MonadIO m => MonadIO (ThemeReader t m)

Defined in Reflex.Vty.Widget

Methods

liftIO :: IO a -> ThemeReader t m a

MonadRef m => MonadRef (ThemeReader t m)

Defined in Reflex.Vty.Widget

Associated Types

type Ref (ThemeReader t m) :: Type -> Type

Methods

newRef :: a -> ThemeReader t m (Ref (ThemeReader t m) a)

readRef :: Ref (ThemeReader t m) a -> ThemeReader t m a

writeRef :: Ref (ThemeReader t m) a -> a -> ThemeReader t m ()

modifyRef :: Ref (ThemeReader t m) a -> (a -> a) -> ThemeReader t m ()

modifyRef' :: Ref (ThemeReader t m) a -> (a -> a) -> ThemeReader t m ()

MonadNodeId m => MonadNodeId (ThemeReader t m)

Defined in Reflex.Vty.Widget

Methods

getNextNodeId :: ThemeReader t m NodeId

type Ref (ThemeReader t m)

Defined in Reflex.Vty.Widget

type Ref (ThemeReader t m) = Ref (ReaderT (Behavior t Attr) m)

type Performable (ThemeReader t m)

Defined in Reflex.Vty.Widget

type Performable (ThemeReader t m) = Performable (ReaderT (Behavior t Attr) m)

runThemeReader :: (Reflex t, Monad m) => Behavior t Attr -> ThemeReader t m a -> m a

Run a ThemeReader action with the given focus value

Manipulating images

withinImage :: Region -> Image -> Image

Translates and crops an Image so that it is contained by the given Region.

imagesInRegion :: Reflex t => Behavior t Region -> Behavior t [Image] -> Behavior t [Image]

Crop a behavior of images to a behavior of regions. See withinImage.

Running sub-widgets

pane

Arguments

:: (Reflex t, Monad m, HasInput t m, HasImageWriter t m, HasDisplayRegion t m, HasFocusReader t m)

=> Dynamic t Region

-> Dynamic t Bool

Whether the widget should be focused when the parent is.

-> m a

-> m a

Low-level widget combinator that runs a child widget within a given region and context. This widget filters and modifies the input that the child widget receives such that: * unfocused widgets receive no key events * mouse inputs outside the region are ignored * mouse inputs inside the region have their coordinates translated such that (0,0) is the top-left corner of the region

Misc

blank :: Monad m => m ()

A widget that draws nothing