{-# LANGUAGE RecordWildCards #-}
{-# LANGUAGE RecursiveDo     #-}

module Potato.Flow.Vty.Tools (
  Tool(..)
  , ToolWidgetConfig(..)
  , ToolWidget(..)
  , holdToolsWidget
) where

import           Relude

import           Potato.Flow.Controller
import           Potato.Flow.Vty.Common
import           Potato.Reflex.Vty.Helpers

import           Control.Monad.Fix
import           Control.Monad.NodeId

import           Reflex


data ToolWidgetConfig t = ToolWidgetConfig {
  forall t. ToolWidgetConfig t -> Dynamic t Tool
_toolWidgetConfig_tool :: Dynamic t Tool
  , forall t. ToolWidgetConfig t -> Dynamic t Int
_toolWidgetConfig_widthDyn :: Dynamic t Int
}

data ToolWidget t = ToolWidget {
  forall t. ToolWidget t -> Event t Tool
_toolWidget_setTool :: Event t Tool
  , forall t. ToolWidget t -> Dynamic t Int
_toolWidget_heightDyn :: Dynamic t Int
}


--onlyIfBeh :: (Reflex t) => Event t a -> Behavior t Bool -> Event t a
--onlyIfBeh ev beh = fmapMaybe (\(b,e) -> if b then Just e else Nothing) $ attach beh ev


holdToolsWidget :: forall t m. (PostBuild t m, MonadWidget t m)
  => ToolWidgetConfig t
  -> m (ToolWidget t)
holdToolsWidget :: forall t (m :: * -> *).
(PostBuild t m, MonadWidget t m) =>
ToolWidgetConfig t -> m (ToolWidget t)
holdToolsWidget ToolWidgetConfig {Dynamic t Int
Dynamic t Tool
_toolWidgetConfig_widthDyn :: Dynamic t Int
_toolWidgetConfig_tool :: Dynamic t Tool
_toolWidgetConfig_widthDyn :: forall t. ToolWidgetConfig t -> Dynamic t Int
_toolWidgetConfig_tool :: forall t. ToolWidgetConfig t -> Dynamic t Tool
..} = mdo

  (Event t Int
radioEvs, Dynamic t Int
heightDyn) <- forall t (m :: * -> *).
(Reflex t, MonadNodeId m, HasDisplayRegion t m, HasImageWriter t m,
 HasInput t m, HasTheme t m) =>
Dynamic t [Text]
-> Dynamic t [Int]
-> Maybe (Dynamic t Int)
-> m (Event t Int, Dynamic t Int)
radioList (forall {k} (t :: k) a. Reflex t => a -> Dynamic t a
constDyn [Text
"(v)select",Text
"(p)an",Text
"(b)ox",Text
"(l)ine",Text
"(t)extbox",Text
"pai(n)t"]) (forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
fmap ((forall a. a -> [a] -> [a]
:[]) forall b c a. (b -> c) -> (a -> b) -> a -> c
. forall a. Enum a => a -> Int
fromEnum) Dynamic t Tool
_toolWidgetConfig_tool) (forall a. a -> Maybe a
Just Dynamic t Int
_toolWidgetConfig_widthDyn)
  let
    selectB :: Event t ()
selectB = forall (f :: * -> *) a. Functor f => f a -> f ()
void forall a b. (a -> b) -> a -> b
$ forall (f :: * -> *) a. Filterable f => (a -> Bool) -> f a -> f a
ffilter (forall a. Eq a => a -> a -> Bool
==Int
0) Event t Int
radioEvs
    panB :: Event t ()
panB = forall (f :: * -> *) a. Functor f => f a -> f ()
void forall a b. (a -> b) -> a -> b
$ forall (f :: * -> *) a. Filterable f => (a -> Bool) -> f a -> f a
ffilter (forall a. Eq a => a -> a -> Bool
==Int
1) Event t Int
radioEvs
    boxB :: Event t ()
boxB = forall (f :: * -> *) a. Functor f => f a -> f ()
void forall a b. (a -> b) -> a -> b
$ forall (f :: * -> *) a. Filterable f => (a -> Bool) -> f a -> f a
ffilter (forall a. Eq a => a -> a -> Bool
==Int
2) Event t Int
radioEvs
    lineB :: Event t ()
lineB = forall (f :: * -> *) a. Functor f => f a -> f ()
void forall a b. (a -> b) -> a -> b
$ forall (f :: * -> *) a. Filterable f => (a -> Bool) -> f a -> f a
ffilter (forall a. Eq a => a -> a -> Bool
==Int
3) Event t Int
radioEvs
    textB :: Event t ()
textB = forall (f :: * -> *) a. Functor f => f a -> f ()
void forall a b. (a -> b) -> a -> b
$ forall (f :: * -> *) a. Filterable f => (a -> Bool) -> f a -> f a
ffilter (forall a. Eq a => a -> a -> Bool
==Int
4) Event t Int
radioEvs
    textareaB :: Event t ()
textareaB = forall (f :: * -> *) a. Functor f => f a -> f ()
void forall a b. (a -> b) -> a -> b
$ forall (f :: * -> *) a. Filterable f => (a -> Bool) -> f a -> f a
ffilter (forall a. Eq a => a -> a -> Bool
==Int
5) Event t Int
radioEvs

  let
    setTool :: Event t Tool
setTool = forall {k} (t :: k) a. Reflex t => [Event t a] -> Event t a
leftmost
      [Tool
Tool_Select forall (f :: * -> *) a b. Functor f => a -> f b -> f a
<$ forall {k} (t :: k) a. Reflex t => [Event t a] -> Event t a
leftmost [Event t ()
selectB]
      , Tool
Tool_Pan forall (f :: * -> *) a b. Functor f => a -> f b -> f a
<$ forall {k} (t :: k) a. Reflex t => [Event t a] -> Event t a
leftmost [Event t ()
panB]
      , Tool
Tool_Box forall (f :: * -> *) a b. Functor f => a -> f b -> f a
<$ forall {k} (t :: k) a. Reflex t => [Event t a] -> Event t a
leftmost [Event t ()
boxB]
      , Tool
Tool_Line forall (f :: * -> *) a b. Functor f => a -> f b -> f a
<$ forall {k} (t :: k) a. Reflex t => [Event t a] -> Event t a
leftmost [Event t ()
lineB]
      , Tool
Tool_Text forall (f :: * -> *) a b. Functor f => a -> f b -> f a
<$ forall {k} (t :: k) a. Reflex t => [Event t a] -> Event t a
leftmost [Event t ()
textB]
      , Tool
Tool_TextArea forall (f :: * -> *) a b. Functor f => a -> f b -> f a
<$ forall {k} (t :: k) a. Reflex t => [Event t a] -> Event t a
leftmost [Event t ()
textareaB]]
{-
  vLayoutPad 4 $ debugStream [
    never
    , fmapLabelShow "radio" $ radioEvs
    , fmapLabelShow "selected" $ fmap ((:[]) . fromEnum) (updated _toolWidgetConfig_tool)
    ]
-}


  forall (m :: * -> *) a. Monad m => a -> m a
return ToolWidget {
    _toolWidget_setTool :: Event t Tool
_toolWidget_setTool = Event t Tool
setTool
    , _toolWidget_heightDyn :: Dynamic t Int
_toolWidget_heightDyn = Dynamic t Int
heightDyn
  }

  {-
      keyPressEv k = flip push (_pFWidgetCtx_ev_input _toolWidgetConfig_pfctx) $ \vtyev -> do
        consuming <- sample _toolWidgetConfig_consumingKeyboard
        return $ if not consuming
          then case vtyev of
            V.EvKey (V.KChar k') [] | k' == k -> Just ()
            _                                 -> Nothing
          else Nothing
          -}