paluh

module Main where

import Prelude

import Data.Enum (upFrom)
import Data.List (List)
import Data.Map (fromFoldable, lookup) as Map
import Data.Maybe (Maybe)
import Data.Tuple.Nested ((/\))
import Data.Variant (Unvariant(..), Variant, unvariant)

paluh

module Main where

import Prelude

import Data.Enum (upFrom)
import Data.Foldable (fold)
import Data.Generic.Rep (Constructor, Sum) as Generic.Rep
import Data.Generic.Rep (class Generic)
import Data.List (List)
import Data.Map (fromFoldable, lookup) as Map

paluh

module Main where

import Data.Lens (set, view) as Lens
import Data.Lens.Record (prop)
import Data.Profunctor.Strong (class Strong)
import Heterogeneous.Folding (class FoldingWithIndex, class HFoldlWithIndex, hfoldlWithIndex)
import Prim.Row (class Cons, class Lacks) as Row
import Prim.RowList (class RowToList) as RL
import Record (insert) as Record
import Type.Prelude (class IsSymbol)

paluh

module Main where

import TryPureScript (p, text, render)

import Prelude

import Data.Generic.Rep (class Generic)
import Data.Show.Generic (genericShow)

data Route = Home | Users String | User Int | NotFound String

paluh

module Main where

import Prelude

import Data.Foldable (fold)
import Effect (Effect)
import TryPureScript (h1, h2, p, text, list, indent, link, render, code)
import Record (merge) as Record
import Data.Variant (inj, match, Variant)
import Data.Maybe (fromMaybe, Maybe(..))

paluh

{ pkgs ? import <nixpkgs> {} }:
  pkgs.stdenv.mkDerivation rec {
      pname = "purty";
      version = "7.0.0";

      src = pkgs.fetchurl {
        url = "https://registry.npmjs.org/purty/-/purty-${version}.tgz";
        sha256 = "1h9z43aj1gflysy0379j7cpdvszjlk9lvg861hgk7dmqq59qzd4y";
      };

paluh

module Main where

import Type.Row (type (+))

type Row_ab r = ( a :: String, b :: Int | r)

type Row_c r = (c :: Boolean | r)

type Row_d r = (d :: Number | r)

paluh

module Main where

import Data.Functor (map)
import Data.Monoid ((<>))
import Data.Variant (expand, Variant)
import Prim.Row (class Union)

combine :: forall v v_ w w_ u. Union w w_ u => Union v v_ u =>
     Array (Variant v)
  -> Array (Variant w)

paluh

module Main where

import Prelude

import Effect (Effect)
import Data.Foldable (fold)
import Data.Identity (Identity(..))
import Data.Maybe (Maybe(..))
import TryPureScript (h1, h2, p, text, list, indent, link, render, code)
import Type.Equality (class TypeEquals, from, to)

paluh

module Main where

import Prelude

import Data.Either (Either(..))
import Data.Map (Map)
import Data.Map (lookup) as Map
import Data.Maybe (Maybe(..))
import Data.Profunctor.Star (Star(..))
import Data.Validation.Semigroup (V(..), invalid)