This file contains 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 as Array | |
import Data.Foldable as F | |
import Data.Traversable as T | |
import Effect (Effect) | |
import Effect.Class.Console (log) | |
import TryPureScript as TryPureScript |
This file contains 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.Monad.Reader (ReaderT(..), runReader, runReaderT) | |
import Data.Identity (Identity(..)) | |
import Data.Newtype (class Newtype, unwrap) | |
import Data.Symbol (class IsSymbol) | |
import Data.Tuple (Tuple(..)) | |
import Effect (Effect) |
This file contains 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 Foo where | |
import Prelude | |
import Control.Monad.Reader (ReaderT(..), runReader, runReaderT) | |
import Data.Array.NonEmpty (NonEmptyArray) | |
import Data.Identity (Identity) | |
import Data.Maybe (Maybe) | |
import Data.Symbol (class IsSymbol) | |
import Data.Tuple (Tuple(..)) |
This file contains 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 HeterogeneousLog.Main where | |
import Prelude | |
import Data.Symbol (class IsSymbol) | |
import Effect (Effect) | |
import Effect.Console (log) | |
import Heterogeneous.Folding (class FoldingWithIndex, class HFoldlWithIndex, hfoldlWithIndex) | |
import Prim.Row as Row |
This file contains 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 (log) | |
import TryPureScript as TryPureScript | |
import Prim.Row as Row | |
main :: Effect Unit |
This file contains 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 as A | |
import Effect (Effect) | |
import Effect.Class.Console (log) | |
import TryPureScript as TryPureScript | |
import Debug (spy) |
This file contains 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
#!/usr/bin/env bash | |
ghcup install ghc 9.2.3 | |
ghcup compile hls --git-ref master --overwrite-version 1.7.0.0-p1 --ghc 9.2.3 --cabal-update |
This file contains 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 as A | |
import Data.Maybe (Maybe(..), maybe) | |
import Effect (Effect) | |
import Effect.Class.Console (log) | |
import TryPureScript as TryPureScript |
This file contains 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 Data.Array as Array | |
import Effect.Console (log) | |
import Effect (Effect) | |
import Parsing as P | |
import Parsing.Combinators as PC |
This file contains 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.Console (log) | |
import Record.Unsafe (unsafeSet) | |
import Prim.Row (class Lacks) | |
import Data.Symbol (class IsSymbol, SProxy(..), reflectSymbol) | |
import Prim.Row as Row |
NewerOlder