Skip to content

Instantly share code, notes, and snippets.

data GRef da a = GRef (Dynamic a) (Callback da)
newtype Ref a = GRef (a -> a) a
type GLens s ds a da = { get :: s -> a, modify :: da -> ds }
type Lens s a = GLens s (s -> s) a (a -> a) = { get :: s -> a, modify :: (a -> a) -> (s -> s) }
type ElmStateRef = GRef Action State

Keybase proof

I hereby claim:

  • I am zyla on github.
  • I am zyla (https://keybase.io/zyla) on keybase.
  • I have a public key ASChNBEwcoBribZV7PryeZWLBJ1-rBmclprnx-FlyPOs9go

To claim this, I am signing this object:

module Specular.FRP.DVar
( DVar
, new
, read
, value
, modify_
) where
import Prelude
@zyla
zyla / LongImport.hs
Created February 27, 2020 03:43
Failing test case for smuggler-0.1.0
module Test.LongImport where
import Data.Char
import Data.Int (Int)
_ = isAlpha