module Gargantext.Utils.Reactix where import Prelude import DOM.Simple as DOM import DOM.Simple.Console (log2) import DOM.Simple.Document (document) import DOM.Simple.Element as Element import DOM.Simple.Event as DE import DOM.Simple.Types (class IsNode) import Data.Argonaut as Argonaut import Data.Argonaut as Json import Data.Argonaut.Core (Json) import Data.Either (hush) import Data.Function.Uncurried (Fn2, runFn2) import Data.Maybe (Maybe(..), fromJust, fromMaybe, isJust) import Data.Nullable (Nullable, null, toMaybe) import Data.Tuple (Tuple(..)) import Data.Tuple.Nested ((/\)) import Effect (Effect) import Effect.Console (logShow) import Effect.Aff (Aff, launchAff, launchAff_, killFiber) import Effect.Class (liftEffect) import Effect.Exception (error) import Effect.Uncurried (EffectFn1, EffectFn2, EffectFn3, mkEffectFn1, mkEffectFn2, runEffectFn1, runEffectFn2, runEffectFn3) import Effect.Unsafe (unsafePerformEffect) import FFI.Simple ((..), (...), (.=), defineProperty, delay, args2, args3) import Partial.Unsafe (unsafePartial) import React (class ReactPropFields, Children, ReactClass, ReactElement) import React as React import Reactix as R import Reactix.DOM.HTML (ElemFactory, createDOM, text) import Reactix.DOM.HTML as H import Reactix.React (react) import Reactix.SyntheticEvent as RE import Reactix.Utils (currySecond, hook, tuple) import Unsafe.Coerce (unsafeCoerce) import Web.File.Blob (Blob) import Web.File.File as WF import Web.File.FileList (FileList, item) import Web.HTML (window) import Web.HTML.Window (localStorage) import Web.Storage.Storage (Storage, getItem, setItem) newtype Point = Point { x :: Number, y :: Number } -- a setter function, for useState type Setter t = (t -> t) -> Effect Unit -- a reducer function living in effector, for useReductor type Actor s a = (a -> s -> Effect s) -- | Turns a ReactElement into aReactix Element -- | buff (v.) to polish buff :: ReactElement -> R.Element buff = unsafeCoerce -- | Turns a Reactix Element into a ReactElement. -- | scuff (v.) to spoil the gloss or finish of. scuff :: R.Element -> ReactElement scuff = unsafeCoerce -- class ToElement a where -- toElement :: a -> R.Element -- instance toElementElement :: ToElement R.Element where -- toElement = identity -- instance toElementReactElement :: ToElement ReactElement where -- toElement = buff -- instance toElementArray :: ToElement a => ToElement (Array a) where -- toElement = R.fragment <<< map toElement createElement' :: forall required given . ReactPropFields required given => ReactClass { children :: Children | required } -> Record given -> Array R.Element -> R.Element createElement' reactClass props children = buff $ React.createElement reactClass props $ scuff <$> children {- instance isComponentReactClass :: R.IsComponent (ReactClass { children :: Children | props }) props (Array R.Element) where createElement reactClass props children = React.createElement reactClass props children -} -- | Turns an aff into a useEffect-compatible Effect (Effect Unit) affEffect :: forall a. String -> Aff a -> Effect (Effect Unit) affEffect errmsg aff = do fiber <- launchAff aff pure $ launchAff_ $ killFiber (error errmsg) fiber mousePosition :: RE.SyntheticEvent DE.MouseEvent -> Point mousePosition e = Point { x: RE.clientX e, y: RE.clientY e } domMousePosition :: DE.MouseEvent -> Point domMousePosition = mousePosition <<< unsafeCoerce -- | This is naughty, it quietly mutates the input and returns it named :: forall o. String -> o -> o named = flip $ defineProperty "name" overState :: forall t. (t -> t) -> R.State t -> Effect Unit overState f (_state /\ setState) = setState f select :: ElemFactory select = createDOM "select" menu :: ElemFactory menu = createDOM "menu" effToggler :: forall e. R.State Boolean -> EffectFn1 e Unit effToggler (value /\ setValue) = mkEffectFn1 $ \e -> setValue $ const $ not value unsafeEventValue :: forall event. event -> String unsafeEventValue e = (unsafeCoerce e).target.value nullRef :: forall t. R.Hooks (R.Ref (Nullable t)) nullRef = R.useRef null nothingRef :: forall t. R.Hooks (R.Ref (Maybe t)) nothingRef = R.useRef Nothing useLayoutEffect1' :: forall a. a -> (Unit -> Effect Unit) -> R.Hooks Unit useLayoutEffect1' a f = R.useLayoutEffect1 a $ do liftEffect $ f unit pure $ pure unit useLayoutRef :: forall a b. (a -> b) -> b -> R.Ref a -> R.Hooks (R.Ref b) useLayoutRef fn init ref = do new <- R.useRef init let old = R.readRef ref useLayoutEffect1' old $ \_ -> R.setRef new (fn old) pure new usePositionRef :: R.Ref (Nullable DOM.Element) -> R.Hooks (R.Ref (Maybe DOM.DOMRect)) usePositionRef = useLayoutRef (map Element.boundingRect <<< toMaybe) Nothing readPositionRef :: R.Ref (Nullable DOM.Element) -> Maybe DOM.DOMRect readPositionRef el = do let posRef = R.readRef el Element.boundingRect <$> toMaybe posRef unsafeEventTarget :: forall event. event -> DOM.Element unsafeEventTarget e = (unsafeCoerce e).target getElementById :: String -> Effect (Maybe DOM.Element) getElementById = (flip delay) h where h id = pure $ toMaybe $ document ... "getElementById" $ [id] -- We just assume it works, so make sure it's in the html getPortalHost :: R.Hooks DOM.Element getPortalHost = R.unsafeHooksEffect $ delay unit $ \_ -> pure $ document ... "getElementById" $ ["portal"] useLayoutEffectOnce :: Effect (Effect Unit) -> R.Hooks Unit useLayoutEffectOnce e = R.unsafeUseLayoutEffect e [] singleParent :: forall props. R.Component props -> Record props -> R.Element -> R.Element singleParent cpt props child = R.createElement cpt props [ child ] childless :: forall props. R.Component props -> Record props -> R.Element childless cpt props = R.createElement cpt props [] showText :: forall s. Show s => s -> R.Element showText = text <<< show ----- Reactix's new effectful reducer: sneak-peek because anoe wants to demo on tuesday -- | Like a reducer, but lives in Effect type Reductor state action = Tuple state (action -> Effect Unit) -- | Like useReductor, but lives in Effect useReductor :: forall s a i. Actor s a -> (i -> Effect s) -> i -> R.Hooks (Reductor s a) useReductor f i j = hook $ \_ -> pure $ currySecond $ tuple $ react ... "useReducer" $ args3 (mkEffectFn2 (flip f)) j (mkEffectFn1 i) -- | Like `useReductor`, but takes an initial state instead of an -- | initialiser function and argument useReductor' :: forall s a. Actor s a -> s -> R.Hooks (Reductor s a) useReductor' r = useReductor r pure render :: R.Element -> DOM.Element -> Effect Unit render e d = delay unit $ \_ -> pure $ R.reactDOM ... "render" $ args2 e d addRootElement :: DOM.Element -> Effect Unit addRootElement = runEffectFn1 _addRootElement foreign import _addRootElement :: EffectFn1 DOM.Element Unit appendChild :: forall n m. IsNode n => IsNode m => n -> m -> Effect Unit appendChild n c = delay unit $ \_ -> pure $ n ... "appendChild" $ [c] appendChildToParentId :: forall c. IsNode c => String -> c -> Effect Unit appendChildToParentId ps c = delay unit $ \_ -> do parentEl <- getElementById ps log2 "[appendChildToParentId] ps" ps log2 "[appendChildToParentId] parentEl" parentEl case parentEl of Nothing -> pure unit Just el -> appendChild el c effectLink :: Effect Unit -> String -> R.Element effectLink eff msg = H.a {on: {click: const eff}} [H.text msg] useCache :: forall i o. Eq i => i -> (i -> R.Hooks o) -> R.Hooks o useCache i f = do iRef <- R.useRef Nothing oRef <- R.useRef Nothing let currI = R.readRef iRef let currO = R.readRef oRef if currI == Just i then case currO of Nothing -> f i -- this one shouldn't happen, but purescript Just v -> pure v else do new <- f i R.unsafeHooksEffect (R.setRef iRef $ Just i) R.unsafeHooksEffect (R.setRef oRef $ Just new) pure new inputFile :: forall e. Int -> e -> Maybe WF.File inputFile n e = item n $ ((el .. "files") :: FileList) where el = e .. "target" -- | Get blob from an 'onchange' e.target event inputFileBlob n e = unsafePartial $ do let ff = fromJust $ inputFile n e pure $ WF.toBlob ff inputFileNameWithBlob :: forall e. Int -> e -> Maybe {blob :: Blob, name :: String} inputFileNameWithBlob n e = case ff of Nothing -> Nothing Just f -> Just {blob: WF.toBlob f, name: WF.name f} where ff = inputFile n e -- | Get blob from a drop event --dataTransferFileBlob :: forall e. DE.IsEvent e => RE.SyntheticEvent e -> Effect Blob dataTransferFileBlob e = unsafePartial $ do let ff = fromJust $ item 0 $ ((e .. "dataTransfer" .. "files") :: FileList) pure $ WF.toBlob ff blur :: DOM.Element -> Effect Unit blur el = el ... "blur" $ [] row :: Array R.Element -> R.Element row children = H.div { className: "row" } children col :: Int -> Array R.Element -> R.Element col n children = H.div { className : "col-md" <> show n } children innerText :: DOM.Element -> String innerText e = e .. "innerText" foreign import data Selection :: Type getSelection :: Unit -> Effect Selection getSelection = runEffectFn1 _getSelection foreign import _getSelection :: EffectFn1 Unit Selection stringify :: Json -> Int -> String stringify j indent = runFn2 _stringify j indent foreign import _stringify :: Fn2 Json Int String getls :: Effect Storage getls = window >>= localStorage openNodesKey :: LocalStorageKey openNodesKey = "garg-open-nodes" type LocalStorageKey = String useLocalStorageState :: forall s. Argonaut.DecodeJson s => Argonaut.EncodeJson s => LocalStorageKey -> s -> R.Hooks (R.State s) useLocalStorageState key s = do -- we need to synchronously get the initial state from local storage Tuple state setState' <- R.useState \_ -> unsafePerformEffect do item :: Maybe String <- getItem key =<< getls let json = hush <<< Argonaut.jsonParser =<< item let parsed = hush <<< Argonaut.decodeJson =<< json pure $ fromMaybe s parsed let setState update = do let new = update state setState' (\_ -> new) let json = Json.stringify $ Argonaut.encodeJson new storage <- getls setItem key json storage pure (Tuple state setState) getMessageDataStr :: DE.MessageEvent -> String getMessageDataStr = getMessageData getMessageOrigin :: DE.MessageEvent -> String getMessageOrigin me = me .. "origin" getMessageData :: forall o. DE.MessageEvent -> o getMessageData me = me .. "data" foreign import _postMessage :: forall r. EffectFn3 r String String Unit postMessage :: forall r. R.Ref (Nullable r) -> String -> Effect Unit postMessage ref msg = do case (R.readNullableRef ref) of (Just ifr) -> do runEffectFn3 _postMessage ifr msg (ifr .. "src") (Nothing) -> pure unit foreign import _setCookie :: EffectFn1 String Unit setCookie :: String -> Effect Unit setCookie = runEffectFn1 _setCookie focus :: Nullable R.Element -> Effect Unit focus nEl = case toMaybe nEl of Nothing -> pure unit Just el -> el ... "focus" $ [] setIndeterminateCheckbox :: R.Element -> Boolean -> Effect R.Element setIndeterminateCheckbox el val = pure $ (el .= "indeterminate") val