Skip to content

Instantly share code, notes, and snippets.

View Ebmtranceboy's full-sized avatar

Ebmtranceboy

4 followers · 20 following
View GitHub Profile
@Ebmtranceboy
Ebmtranceboy / Main.purs
Last active June 27, 2024 09:05
prime factorization
module Main where
import Prelude
import Concur.Core (Widget)
import Concur.Core.FRP (debounce, display, dyn)
import Concur.React (HTML)
import Concur.React.DOM as D
import Concur.React.Props as P
import Concur.React.Run (runWidgetInDom)
@Ebmtranceboy
Ebmtranceboy / Main.purs
Last active August 30, 2020 02:57
eratostenes
module Main where
import Prelude
import Concur.Core (Widget)
import Concur.React (HTML)
import Concur.React.DOM as D
import Concur.React.Props as P
import Concur.React.Run (runWidgetInDom)
import Concur.React.SVG as S
@Ebmtranceboy
Ebmtranceboy / Main.purs
Created August 5, 2020 14:18
Audio Concur
module Main where
import Prelude
import Concur.Core (Widget)
import Concur.React (HTML)
import Concur.React.DOM (audio) as D
import Concur.React.Props as P
import Concur.React.Run (runWidgetInDom)
import Effect (Effect)
@Ebmtranceboy
Ebmtranceboy / Main.purs
Last active August 4, 2020 15:29
Sum + String lenses
module Main where
import Prelude
import Concur.Core (Widget)
import Concur.React (HTML)
import Concur.React.DOM (text, div', br') as D
import Concur.React.Run (runWidgetInDom)
import Effect (Effect)
import Data.Lens (Prism', prism', prism, _Just)
@Ebmtranceboy
Ebmtranceboy / Main.purs
Created August 4, 2020 14:15
Array + List lenses
module Main where
import Prelude
import Concur.Core (Widget)
import Concur.React (HTML)
import Concur.React.DOM (text, div', br') as D
import Concur.React.Run (runWidgetInDom)
import Effect (Effect)
import Data.Lens (Traversal, over, set, traversed, toListOf, view, element, _1)
@Ebmtranceboy
Ebmtranceboy / Main.purs
Created August 4, 2020 12:41
Composing lenses
module Main where
import Prelude
import Concur.Core (Widget)
import Concur.React (HTML)
import Concur.React.DOM (text, div', br') as D
import Concur.React.Run (runWidgetInDom)
import Effect (Effect)
import Data.Lens (Lens', lens, over, setJust)
@Ebmtranceboy
Ebmtranceboy / Main.purs
Last active August 4, 2020 05:01
Map + Set lenses
module Main where
import Prelude
import Concur.Core (Widget)
import Concur.React (HTML)
import Concur.React.DOM (text, div', br', h3') as D
import Concur.React.Run (runWidgetInDom)
import Effect (Effect)
import Data.Lens (Lens', view, over, set)
@Ebmtranceboy
Ebmtranceboy / Main.purs
Last active June 2, 2022 08:57
Record + Tuples lenses
module Main where
import Prelude
import Effect (Effect)
import Data.Foldable (fold)
import TryPureScript (h1, h3, text, render, Doc)
import Data.Tuple.Nested ((/\), type (/\), Tuple4, T2, T3, T4, T5, tuple4, get1, get2, get3)
import Data.Lens (lens, Lens, Lens', _1, _2, view, over, set)
@Ebmtranceboy
Ebmtranceboy / Main.purs
Created July 31, 2020 13:25
Periodically v.0.1
module Main where
import Prelude
import Concur.Core.FRP (Signal, hold, dyn, display, loopS)
import Concur.Core.Types (Widget)
import Concur.React (HTML)
import Concur.React.DOM (div') as D
import Concur.React.Props as P
import Concur.React.Run (runWidgetInDom)
@Ebmtranceboy
Ebmtranceboy / Main.purs
Created July 21, 2020 06:08
Periodically Demo
module Main where
import Prelude
import Concur.Core.Types (Widget)
import Concur.Core.FRP (Signal, hold, dyn, display, loopW, loopS)
import Concur.React (HTML)
import Concur.React.DOM (div') as D
import Concur.React.Props as P
import Concur.React.SVG as S