Skip to content

Instantly share code, notes, and snippets.

module Main where
import Prelude
type Make m =
{
make :: forall x . m x
}
type Context m r =
@Ebmtranceboy
Ebmtranceboy / Main.purs
Created May 14, 2020 16:55
class SemiringRecord exists <3
module Main where
import Prelude
import Effect (Effect)
import TryPureScript (h1, text, render)
main :: Effect Unit
main =
@Ebmtranceboy
Ebmtranceboy / Main.purs
Last active June 1, 2020 11:25
suffixed symbols
module Main where
import Prelude
import Effect (Effect)
import Data.Foldable (fold)
import TryPureScript (h1, text, render)
import Data.Symbol (class IsSymbol, SProxy (..))
import Prim.Symbol (class Append)
@Ebmtranceboy
Ebmtranceboy / Main.purs
Last active June 2, 2020 11:02
recordApply
module Main where
import Prelude
import Effect (Effect)
import Data.Foldable (fold)
import TryPureScript (h1, text, render)
import Data.Symbol (class IsSymbol, SProxy (..))
import Prim.Row (class Cons, class Lacks)
module Main where
import Prelude
import Effect (Effect)
import Data.Foldable (fold)
import TryPureScript (h1, text, render)
import Data.Maybe (Maybe(..))
import Data.Symbol (class IsSymbol, SProxy(..))
@Ebmtranceboy
Ebmtranceboy / Main.purs
Last active June 4, 2020 00:12
Concur counter
module Main where
import Prelude
import Effect (Effect)
import Effect.Class (liftEffect)
import Effect.Console (log)
import Concur.Core (Widget)
import Concur.React (HTML)
import Concur.React.DOM (div_, h2_, hr', text, div', p', button) as D
@Ebmtranceboy
Ebmtranceboy / Main.purs
Created June 4, 2020 10:55
Hello Concur
module Main where
import Prelude
import Effect (Effect)
import Concur.Core (Widget)
import Concur.React (HTML)
import Concur.React.DOM (text, div', button, button') as D
import Concur.React.Props as P
import Concur.React.Run (runWidgetInDom)
@Ebmtranceboy
Ebmtranceboy / Main.purs
Last active June 5, 2020 14:40
Widget Concur
module Main where
import Prelude
import Affjax (get) as AX
import Affjax.ResponseFormat (json) as ResponseFormat
import Data.Time.Duration (Milliseconds(..))
import Data.Argonaut.Core as J
import Data.Argonaut.Decode(class DecodeJson, (.:), decodeJson)
import Data.Array (singleton)
@Ebmtranceboy
Ebmtranceboy / Main.purs
Created June 5, 2020 11:26
Elm-like Concur
module Main where
import Prelude
import Effect (Effect)
import Concur.Core (Widget)
import Concur.React (HTML)
import Concur.React.DOM (text, div', button, input) as D
import Concur.React.Props as P
import Concur.React.Run (runWidgetInDom)
@Ebmtranceboy
Ebmtranceboy / Main.purs
Created June 5, 2020 11:38
Composable Hello Concur
module Main where
import Prelude
import Effect (Effect)
import Concur.Core (Widget)
import Concur.React (HTML)
import Concur.React.DOM (text, div', button) as D
import Concur.React.Props as P
import Concur.React.Run (runWidgetInDom)