JordanMartinez

module Main where

import Prelude

import Data.Maybe (Maybe(..))
import Data.Tuple (Tuple(..))

import Effect (Effect)
import Effect.Console (log)
import TryPureScript as TryPureScript

JordanMartinez

module Main where

import Prelude hiding (pure)

import Data.Function.Uncurried (Fn2, mkFn2, runFn2)
import Data.Maybe (Maybe(..))
import Data.Newtype (class Newtype, wrap)
import Effect (Effect)
import Effect.Console (log)
import Prelude as Prelude

JordanMartinez

-- Summary of https://hackage.haskell.org/package/dhall-1.40.1/docs/Dhall-Core.html#t:Expr
-- <dhall expression> -- haskell syntax

"text" -- TextLit (Chunks [] "text")
"an ${interpolatedValue} text" -- Text (Chunks [("an ", interpolatedValue)] " text")

["foo"] -- ListLit Nothing (Seq.singleton (TextLit [] "foo"))
[] : List Text -- ListLit (Just (App List Text)) Seq.empty
["foo"] # ["bar"] -- ListAppend fooExpr barExpr
["foo"] # ["bar"] # ["baz"] -- ListAppend (ListAppend fooExpr barExpr) bazExpr

JordanMartinez

module Main where

import Prelude
import Data.Maybe (Maybe(..))
import Data.Tuple (Tuple(..), snd)
import Data.List (range, uncons, head)
import Data.List.Types (List(..), (:))
import Data.Either (Either(..))

import Effect (Effect)

JordanMartinez

module Main where

import Prelude
import Data.List (range, length)
import Data.List.Types (List(..), (:))
import Data.Either (Either(..))

import Effect (Effect)
import Effect.Console (log)
import TryPureScript as TryPureScript

JordanMartinez

module Main where

import Prelude

import Data.Argonaut as Argonaut
import Data.Codec.Argonaut as CA

import Effect (Effect)
import Effect.Console (log)
import TryPureScript (render, withConsole)

JordanMartinez

module Main where

data Tuple a b = Tuple a b

example :: Int `Tuple` Int
example = 4 `Tuple` 4

main :: Effect Unit
main = pure unit

JordanMartinez

module Main where

import Prelude

import Control.Alt ((<|>))
import Control.Monad.Reader.Trans (ReaderT(..))
import Control.Monad.Writer.Trans (WriterT(..))
import Control.Monad.State.Trans (StateT(..))
import Control.Monad.Except.Trans (ExceptT(..))

JordanMartinez

module Main where -- Overwritten by Try PureScript

import Prelude hiding (between)

import Control.Alt ((<|>))
import Control.Lazy (defer, fix)
import Data.Either (Either(..))
import Data.Foldable (foldMap, for_, oneOf)
import Data.Function (on)
import Data.Int (fromString, toNumber)

JordanMartinez

module Main where

import Prelude

import Data.Array as Array
import Data.Foldable (for_)
import Data.Maybe (Maybe(..))
import Data.Symbol (SProxy(..))
import Data.Tuple.Nested ((/\))
import Effect (Effect)