joneshf

:- module(booleans, [and/2, or/2]).

:- op(1000, xfy, and).
:- op(1000, xfy, or).

and(P, Q) :- P , Q.

or(P, Q) :- P ; Q.

joneshf

24 Days of PureScript

day 1 introduction

day 2 purescript-foreign

day 3 purescript-easy-ffi and purescript-oo-ffi

day 4 purescript-canvas and purescript-free-canvas

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