This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
module Main where -- Overwritten by Try PureScript | |
import Prelude | |
import Data.Array as Array | |
import Data.Foldable as Foldable | |
import Data.Maybe (Maybe(..)) | |
import Data.String as String | |
import Effect (Effect) | |
import Effect.Exception as Exception | |
import React.Basic (JSX) |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
module Main where | |
import Prelude | |
import Data.Lens (non, set) | |
import Data.Lens.At (at) | |
import Data.Maybe (Maybe(..)) | |
import Data.Tuple (Tuple(..)) | |
import Effect (Effect) | |
import Effect.Class.Console (logShow) | |
import Foreign.Object as Object |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
module Main where -- Overwritten by Try PureScript | |
import Prelude | |
import Data.Maybe (Maybe(..)) | |
import Effect (Effect) | |
import Effect.Class (class MonadEffect, liftEffect) | |
import Halogen as H | |
import Halogen.HTML as HH | |
import Halogen.Aff as HA | |
import Halogen.VDom.Driver (runUI) |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
import fs from "fs" | |
import { flow, pipe, not } from "fp-ts/function" | |
import * as Str from "fp-ts/string" | |
import * as E from "fp-ts/Either" | |
import * as O from "fp-ts/Option" | |
import * as RA from "fp-ts/ReadonlyArray" | |
import * as D from "io-ts/Decoder" | |
const lines = (str: string): ReadonlyArray<string> => str.split("\n") |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
module Main where -- Overwritten by Try PureScript | |
import Prelude | |
import Data.Foldable as Foldable | |
import Data.Maybe (Maybe(..)) | |
import Effect (Effect) | |
import Effect.Class (class MonadEffect, liftEffect) | |
import Halogen as H | |
import Halogen.HTML as HH | |
import Halogen.Aff as HA |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
import * as L from "./foldl" | |
import * as RA from "fp-ts/ReadonlyArray" | |
import * as RNEA from "fp-ts/ReadonlyNonEmptyArray" | |
import * as T from "fp-ts/Tree" | |
import { identity, pipe } from "fp-ts/function" | |
const sum: L.Fold<number, number> = run => | |
run({ | |
step: (x, y) => x + y, | |
init: 0, |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
module Main where | |
import Prelude | |
import Effect (Effect) | |
import Effect.Class.Console as Console | |
import Data.Generic.Rep (class Generic) | |
import Data.Show.Generic as Show.Generic | |
import Test.QuickCheck.Arbitrary (class Arbitrary) | |
import Test.QuickCheck.Arbitrary as Arbitrary | |
import Test.QuickCheck.Gen (Gen) |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
module Main where | |
import Prelude | |
import Data.Foldable (foldMap, sum) | |
import Data.List (List) | |
import Data.List.Lazy (replicate, toUnfoldable) | |
import Data.Monoid.Additive (Additive(..)) | |
import Data.Newtype (alaF) | |
import Data.Rational (Ratio, (%)) |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
module Main where | |
import Prelude | |
import Affjax as Affjax | |
import Affjax.ResponseFormat as ResponseFormat | |
import Control.Monad.Except (ExceptT(..)) | |
import Control.Monad.Except as Except | |
import Data.Argonaut as Argonaut | |
import Effect (Effect) | |
import Effect.Class as Effect |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
module Main where | |
import Prelude | |
import Control.Alt ((<|>)) | |
import Control.Lazy as Lazy | |
import Data.Either (Either(..)) | |
import Data.Int as Int | |
import Data.Maybe (Maybe(..)) | |
import Effect (Effect) |