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 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
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 -- 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 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.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
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.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.Array.NonEmpty as NonEmpty | |
import Data.Either (Either) | |
import Data.Either as Either | |
import Data.Maybe (Maybe) | |
import Data.String.Regex (Regex) | |
import Data.String.Regex as Regex | |
import Data.String.Regex.Flags as Flags |
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.Apply (lift2) | |
import Control.Monad.Reader (ReaderT(..)) | |
import Control.Monad.Reader as Reader | |
import Data.Array as Array | |
import Data.Maybe (Maybe(..)) | |
import Data.Maybe as Maybe |