Potato.Flow.Vty.PotatoReader

Documentation

kTinyToolsFileExtension :: IsString a => a

addTinyToolsFileExtensionIfNecessary :: FilePath -> FilePath

data PotatoStyle

Constructors

PotatoStyle

Fields

• _potatoStyle_canvasCursor :: Attr
• _potatoStyle_makeCanvasManipulator :: RenderHandleColor -> Attr
• _potatoStyle_normal :: Attr
• _potatoStyle_selected :: Attr
• _potatoStyle_layers_softSelected :: Attr
• _potatoStyle_canvas_oob :: Attr
• _potatoStyle_textfield_normal :: Attr
• _potatoStyle_textfield_modifying :: Attr
• _potatoStyle_textfield_cursor :: Attr

Instances

Default PotatoStyle

Defined in Potato.Flow.Vty.PotatoReader

Methods

def :: PotatoStyle

data PotatoConfig t

Constructors

PotatoConfig

Fields

• _potatoConfig_style :: Behavior t PotatoStyle
• _potatoConfig_appCurrentOpenFile :: Behavior t (Maybe FilePath)
• _potatoConfig_appCurrentDirectory :: Behavior t FilePath
• _potatoConfig_appPrintFile :: Behavior t (Maybe FilePath)

Instances

Reflex t => Default (PotatoConfig t)

Defined in Potato.Flow.Vty.PotatoReader

Methods

def :: PotatoConfig t

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

A class for things that can dynamically gain and lose focus

Methods

askPotato :: m (PotatoConfig t)

Instances

HasPotato t m => HasPotato t (NodeIdT m)

Defined in Potato.Flow.Vty.PotatoReader

Methods

askPotato :: NodeIdT m (PotatoConfig t)

HasPotato t m => HasPotato t (ImageWriter t m)

Defined in Potato.Flow.Vty.PotatoReader

Methods

askPotato :: ImageWriter t m (PotatoConfig t)

HasPotato t m => HasPotato t (Focus t m)

Defined in Potato.Flow.Vty.PotatoReader

Methods

askPotato :: Focus t m (PotatoConfig t)

HasPotato t m => HasPotato t (Layout t m)

Defined in Potato.Flow.Vty.PotatoReader

Methods

askPotato :: Layout t m (PotatoConfig t)

(Monad m, Reflex t) => HasPotato t (PotatoReader t m)

Defined in Potato.Flow.Vty.PotatoReader

Methods

askPotato :: PotatoReader t m (PotatoConfig t)

HasPotato t m => HasPotato t (ReaderT x m)

Defined in Potato.Flow.Vty.PotatoReader

Methods

askPotato :: ReaderT x m (PotatoConfig t)

HasPotato t m => HasPotato t (BehaviorWriterT t x m)

Defined in Potato.Flow.Vty.PotatoReader

Methods

askPotato :: BehaviorWriterT t x m (PotatoConfig t)

HasPotato t m => HasPotato t (DynamicWriterT t x m)

Defined in Potato.Flow.Vty.PotatoReader

Methods

askPotato :: DynamicWriterT t x m (PotatoConfig t)

HasPotato t m => HasPotato t (EventWriterT t x m)

Defined in Potato.Flow.Vty.PotatoReader

Methods

askPotato :: EventWriterT t x m (PotatoConfig t)

HasPotato t m => HasPotato t (DisplayRegion t m)

Defined in Potato.Flow.Vty.PotatoReader

Methods

askPotato :: DisplayRegion t m (PotatoConfig t)

HasPotato t m => HasPotato t (FocusReader t m)

Defined in Potato.Flow.Vty.PotatoReader

Methods

askPotato :: FocusReader t m (PotatoConfig t)

HasPotato t m => HasPotato t (Input t m)

Defined in Potato.Flow.Vty.PotatoReader

Methods

askPotato :: Input t m (PotatoConfig t)

newtype PotatoReader t m a

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

Constructors

PotatoReader

Fields

• unPotatoReader :: ReaderT (PotatoConfig t) m a

Instances

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

Defined in Potato.Flow.Vty.PotatoReader

Methods

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

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

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

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

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

now :: PotatoReader t m (Event t ())

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

Defined in Potato.Flow.Vty.PotatoReader

Methods

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

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

Defined in Potato.Flow.Vty.PotatoReader

Methods

askRegion :: PotatoReader t m (Dynamic t Region)

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

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

Defined in Potato.Flow.Vty.PotatoReader

Methods

focus :: PotatoReader t m (Dynamic t Bool)

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

HasImageWriter t m => HasImageWriter (t :: Type) (PotatoReader t m)

Defined in Potato.Flow.Vty.PotatoReader

Methods

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

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

(HasInput t m, Monad m) => HasInput (t :: Type) (PotatoReader t m)

Defined in Potato.Flow.Vty.PotatoReader

Methods

input :: PotatoReader t m (Event t VtyEvent)

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

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

Defined in Potato.Flow.Vty.PotatoReader

Methods

theme :: PotatoReader t m (Behavior t Attr)

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

HasFocus t m => HasFocus (t :: Type) (PotatoReader t m)

Defined in Potato.Flow.Vty.PotatoReader

Methods

makeFocus :: PotatoReader t m FocusId

requestFocus :: Event t Refocus -> PotatoReader t m ()

isFocused :: FocusId -> PotatoReader t m (Dynamic t Bool)

subFoci :: PotatoReader t m a -> PotatoReader t m (a, Dynamic t FocusSet)

focusedId :: PotatoReader t m (Dynamic t (Maybe FocusId))

(Reflex t, HasLayout t m) => HasLayout (t :: Type) (PotatoReader t m)

Defined in Potato.Flow.Vty.PotatoReader

Methods

axis :: Dynamic t Orientation -> Dynamic t Constraint -> PotatoReader t m a -> PotatoReader t m a

region :: Dynamic t Constraint -> PotatoReader t m (Dynamic t Region)

askOrientation :: PotatoReader t m (Dynamic t Orientation)

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

Defined in Potato.Flow.Vty.PotatoReader

Methods

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

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

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

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

MonadReflexCreateTrigger t m => MonadReflexCreateTrigger t (PotatoReader t m)

Defined in Potato.Flow.Vty.PotatoReader

Methods

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

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

NotReady t m => NotReady t (PotatoReader t m)

Defined in Potato.Flow.Vty.PotatoReader

Methods

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

notReady :: PotatoReader t m ()

PerformEvent t m => PerformEvent t (PotatoReader t m)

Defined in Potato.Flow.Vty.PotatoReader

Associated Types

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

Methods

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

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

PostBuild t m => PostBuild t (PotatoReader t m)

Defined in Potato.Flow.Vty.PotatoReader

Methods

getPostBuild :: PotatoReader t m (Event t ())

TriggerEvent t m => TriggerEvent t (PotatoReader t m)

Defined in Potato.Flow.Vty.PotatoReader

Methods

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

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

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

(Monad m, Reflex t) => HasPotato t (PotatoReader t m)

Defined in Potato.Flow.Vty.PotatoReader

Methods

askPotato :: PotatoReader t m (PotatoConfig t)

MonadTrans (PotatoReader t)

Defined in Potato.Flow.Vty.PotatoReader

Methods

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

MonadFix m => MonadFix (PotatoReader t m)

Defined in Potato.Flow.Vty.PotatoReader

Methods

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

MonadIO m => MonadIO (PotatoReader t m)

Defined in Potato.Flow.Vty.PotatoReader

Methods

liftIO :: IO a -> PotatoReader t m a

Applicative m => Applicative (PotatoReader t m)

Defined in Potato.Flow.Vty.PotatoReader

Methods

pure :: a -> PotatoReader t m a

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

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

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

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

Functor m => Functor (PotatoReader t m)

Defined in Potato.Flow.Vty.PotatoReader

Methods

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

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

Monad m => Monad (PotatoReader t m)

Defined in Potato.Flow.Vty.PotatoReader

Methods

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

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

return :: a -> PotatoReader t m a

MonadRef m => MonadRef (PotatoReader t m)

Defined in Potato.Flow.Vty.PotatoReader

Associated Types

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

Methods

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

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

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

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

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

MonadNodeId m => MonadNodeId (PotatoReader t m)

Defined in Potato.Flow.Vty.PotatoReader

Methods

getNextNodeId :: PotatoReader t m NodeId

type Ref (PotatoReader t m)

Defined in Potato.Flow.Vty.PotatoReader

type Ref (PotatoReader t m) = Ref (ReaderT (PotatoConfig t) m)

type Performable (PotatoReader t m)

Defined in Potato.Flow.Vty.PotatoReader

type Performable (PotatoReader t m) = Performable (ReaderT (PotatoConfig t) m)

runPotatoReader :: (Reflex t, Monad m) => PotatoReader t m a -> PotatoConfig t -> m a

Run a FocusReader action with the given focus value TODO flip arg order to match ReaderT oops...

Orphan instances

(HasInput t m, Monad m) => HasInput (t :: Type) (ReaderT r m)

Methods

input :: ReaderT r m (Event t VtyEvent)

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

(Reflex t, HasFocus t m, Monad m) => HasFocus (t :: Type) (ReaderT r m)

Methods

makeFocus :: ReaderT r m FocusId

requestFocus :: Event t Refocus -> ReaderT r m ()

isFocused :: FocusId -> ReaderT r m (Dynamic t Bool)

subFoci :: ReaderT r m a -> ReaderT r m (a, Dynamic t FocusSet)

focusedId :: ReaderT r m (Dynamic t (Maybe FocusId))