Safe Haskell	Safe-Inferred
Language	Haskell2010

Potato.Flow.Vty.PotatoReader

Contents

Orphan instances

Synopsis

kTinyToolsFileExtension :: IsString a => a
addTinyToolsFileExtensionIfNecessary :: FilePath -> FilePath
data PotatoStyle = PotatoStyle {
}
data PotatoConfig t = PotatoConfig {
- _potatoConfig_style :: Behavior t PotatoStyle
- _potatoConfig_appCurrentOpenFile :: Behavior t (Maybe FilePath)
- _potatoConfig_appCurrentDirectory :: Behavior t FilePath
- _potatoConfig_appPrintFile :: Behavior t (Maybe FilePath)
}
class (Reflex t, Monad m) => HasPotato t m | m -> t where
- askPotato :: m (PotatoConfig t)
newtype PotatoReader t m a = PotatoReader {
- unPotatoReader :: ReaderT (PotatoConfig t) m a
}
runPotatoReader :: (Reflex t, Monad m) => PotatoReader t m a -> PotatoConfig t -> m a

Documentation

kTinyToolsFileExtension :: IsString a => a Source #

addTinyToolsFileExtensionIfNecessary :: FilePath -> FilePath Source #

data PotatoStyle Source #

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

Instances details

Default PotatoStyle Source #
Instance details Defined in Potato.Flow.Vty.PotatoReader Methods def :: PotatoStyle #

data PotatoConfig t Source #

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

Instances details

Reflex t => Default (PotatoConfig t) Source #
Instance details Defined in Potato.Flow.Vty.PotatoReader Methods def :: PotatoConfig t #

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

A class for things that can dynamically gain and lose focus

Methods

askPotato :: m (PotatoConfig t) Source #

Instances

Instances details

HasPotato t m => HasPotato t (NodeIdT m) Source #
Instance details Defined in Potato.Flow.Vty.PotatoReader Methods askPotato :: NodeIdT m (PotatoConfig t) Source #
HasPotato t m => HasPotato t (ImageWriter t m) Source #
Instance details Defined in Potato.Flow.Vty.PotatoReader Methods askPotato :: ImageWriter t m (PotatoConfig t) Source #
HasPotato t m => HasPotato t (Focus t m) Source #
Instance details Defined in Potato.Flow.Vty.PotatoReader Methods askPotato :: Focus t m (PotatoConfig t) Source #
HasPotato t m => HasPotato t (Layout t m) Source #
Instance details Defined in Potato.Flow.Vty.PotatoReader Methods askPotato :: Layout t m (PotatoConfig t) Source #
(Monad m, Reflex t) => HasPotato t (PotatoReader t m) Source #
Instance details Defined in Potato.Flow.Vty.PotatoReader Methods askPotato :: PotatoReader t m (PotatoConfig t) Source #
HasPotato t m => HasPotato t (ReaderT x m) Source #
Instance details Defined in Potato.Flow.Vty.PotatoReader Methods askPotato :: ReaderT x m (PotatoConfig t) Source #
HasPotato t m => HasPotato t (BehaviorWriterT t x m) Source #
Instance details Defined in Potato.Flow.Vty.PotatoReader Methods askPotato :: BehaviorWriterT t x m (PotatoConfig t) Source #
HasPotato t m => HasPotato t (DynamicWriterT t x m) Source #
Instance details Defined in Potato.Flow.Vty.PotatoReader Methods askPotato :: DynamicWriterT t x m (PotatoConfig t) Source #
HasPotato t m => HasPotato t (EventWriterT t x m) Source #
Instance details Defined in Potato.Flow.Vty.PotatoReader Methods askPotato :: EventWriterT t x m (PotatoConfig t) Source #
HasPotato t m => HasPotato t (DisplayRegion t m) Source #
Instance details Defined in Potato.Flow.Vty.PotatoReader Methods askPotato :: DisplayRegion t m (PotatoConfig t) Source #
HasPotato t m => HasPotato t (FocusReader t m) Source #
Instance details Defined in Potato.Flow.Vty.PotatoReader Methods askPotato :: FocusReader t m (PotatoConfig t) Source #
HasPotato t m => HasPotato t (Input t m) Source #
Instance details Defined in Potato.Flow.Vty.PotatoReader Methods askPotato :: Input t m (PotatoConfig t) Source #

newtype PotatoReader t m a Source #

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

Constructors

PotatoReader
Fields unPotatoReader :: ReaderT (PotatoConfig t) m a

Instances

Instances details

MonadHold t m => MonadHold (t :: Type) (PotatoReader t m) Source #
Instance details 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) Source #
Instance details Defined in Potato.Flow.Vty.PotatoReader Methods sample :: Behavior t a -> PotatoReader t m a #
HasDisplayRegion t m => HasDisplayRegion (t :: Type) (PotatoReader t m) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details Defined in Potato.Flow.Vty.PotatoReader Methods getPostBuild :: PotatoReader t m (Event t ()) #
TriggerEvent t m => TriggerEvent t (PotatoReader t m) Source #
Instance details 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) Source #
Instance details Defined in Potato.Flow.Vty.PotatoReader Methods askPotato :: PotatoReader t m (PotatoConfig t) Source #
MonadTrans (PotatoReader t) Source #
Instance details Defined in Potato.Flow.Vty.PotatoReader Methods lift :: Monad m => m a -> PotatoReader t m a #
MonadFix m => MonadFix (PotatoReader t m) Source #
Instance details Defined in Potato.Flow.Vty.PotatoReader Methods mfix :: (a -> PotatoReader t m a) -> PotatoReader t m a #
MonadIO m => MonadIO (PotatoReader t m) Source #
Instance details Defined in Potato.Flow.Vty.PotatoReader Methods liftIO :: IO a -> PotatoReader t m a #
Applicative m => Applicative (PotatoReader t m) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details Defined in Potato.Flow.Vty.PotatoReader Methods getNextNodeId :: PotatoReader t m NodeId #
type Ref (PotatoReader t m) Source #
Instance details Defined in Potato.Flow.Vty.PotatoReader type Ref (PotatoReader t m) = Ref (ReaderT (PotatoConfig t) m)
type Performable (PotatoReader t m) Source #
Instance details 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 Source #

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) Source #
Instance details 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) Source #
Instance details 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)) #