joneshf

jj operation log
○  d9eb6f6d9ac8 [email protected] 11 hours ago, lasted 1 millisecond
│  edit commit cbbb16fe8d90dfdc58342685bb120da77b01fe60
│  args: jj edit lrz
│
│  Changed commits:
│  ○  - roxxplny hidden a97d04be (empty) (no description set)
│
│  Changed working copy default@:

joneshf

module Main where

import Prelude

import Control.Monad.Eff (Eff)
import Control.Monad.Eff.Console (CONSOLE, logShow)
import Data.Foldable (class Foldable)
import Data.Generic.Rep (class Generic)
import Data.Generic.Rep.Show (genericShow)
import Data.List (List(Nil, Cons), range)

joneshf

module Main where

import Prelude

import Control.Monad.Eff.Console (logShow)
import Data.Bifunctor (lmap)
import Data.Maybe (Maybe(Just, Nothing))
import Data.Tuple (Tuple(Tuple))
import Data.Unfoldable (class Unfoldable, unfoldr)
import TryPureScript (render, withConsole)

joneshf

module Main where

import Prelude

import Data.Function.Uncurried (mkFn1)

foo = mkFn1 \_ -> 4
bar = mkFn1 $ const 4

joneshf

module Main where

import Prelude

data NoArguments a =
  NoArguments

instance functorNoArguments :: Functor NoArguments where
  map _ a = a

joneshf

module Main where

import Prelude
import Unsafe.Coerce

data FOO
data BAR
data BAZ
data Run (x :: # Type) a

joneshf

module Main where

import Prelude

import Data.Foldable (class Foldable, foldl)
import Data.Maybe (Maybe(Just, Nothing))

data NonEmpty a = NonEmpty a (Array a)

instance foldableNonEmpty :: Foldable NonEmpty where

joneshf

module Main where

foo :: forall r. ( | r) -> r
foo x = x

bar :: ( | Int)
bar = 1

joneshf

module Main where

foo :: forall r. ( | r) -> r
foo x = x

joneshf

module Main where

import Prelude

class Codata --where

data Stream a
  = Head a (Codata => Stream a)

from :: Int -> Stream Int