danidiaz

{
  # https://nix.dev/anti-patterns/language#unquoted-urls
  inputs.nixpkgs.url = "github:NixOS/nixpkgs";

  outputs = { self, nixpkgs, ... }@attrs:
    # https://discourse.nixos.org/t/using-nixpkgs-legacypackages-system-vs-import/17462/5
    # https://discourse.nixos.org/t/recommendations-for-use-of-flakes-input-follows/17413
    let pkgs = nixpkgs.legacyPackages.aarch64-darwin;
    in {
      # https://nixos.org/manual/nix/stable/command-ref/new-cli/nix3-fmt.html

danidiaz

# https://wiremock.org/docs/running-standalone/
# inspired by https://discourse.nixos.org/t/download-and-wrap-a-jar-extensively-documented-example/8049
{ pkgs ? import <nixpkgs> {} }:
let mywiremock = 
        pkgs.stdenv.mkDerivation rec {
          name = "mywiremock";
          version = "2.35.0";

          # https://ryantm.github.io/nixpkgs/builders/fetchers/
          src = pkgs.fetchurl {

danidiaz

{-# LANGUAGE BlockArguments #-}
{-# LANGUAGE DataKinds #-}
{-# LANGUAGE LinearTypes #-}
{-# LANGUAGE OverloadedStrings #-}
{-# LANGUAGE QualifiedDo #-}
{-# LANGUAGE TypeFamilies #-}
{-# LANGUAGE NoImplicitPrelude #-}

-- https://discourse.haskell.org/t/enforcing-correct-api-usage-via-types/5798
module Main where

danidiaz

{-# LANGUAGE BlockArguments #-}
{-# LANGUAGE DeriveAnyClass #-}
{-# LANGUAGE DeriveGeneric #-}
{-# LANGUAGE DerivingStrategies #-}
{-# LANGUAGE DerivingVia #-}
{-# LANGUAGE ImportQualifiedPost #-}
{-# LANGUAGE QualifiedDo #-}
{-# LANGUAGE TypeSynonymInstances #-}
{-# LANGUAGE UndecidableInstances #-}
{-# LANGUAGE ViewPatterns #-}

danidiaz

{-# LANGUAGE BlockArguments #-}
{-# LANGUAGE DeriveAnyClass #-}
{-# LANGUAGE DeriveGeneric #-}
{-# LANGUAGE DerivingStrategies #-}
{-# LANGUAGE NumDecimals #-}
{-# LANGUAGE QualifiedDo #-}
{-# LANGUAGE ViewPatterns #-}

-- depends on the "dep-t" and "async" packages
module Main where

danidiaz

{ pkgs ? import <nixpkgs> {} }:
pkgs.mkShell {
    packages = [
        pkgs.glibcLocales
        (pkgs.postgresql.withPackages (p: []))
        pkgs.pgcli
    ];
    shellHook = ''
        StartPG(){
            pg_ctl -w -l $PGDATA/log start

danidiaz

{-# LANGUAGE AllowAmbiguousTypes #-}
{-# LANGUAGE BlockArguments #-}
{-# LANGUAGE DataKinds #-}
{-# LANGUAGE DeriveGeneric #-}
{-# LANGUAGE FlexibleInstances #-}
{-# LANGUAGE PolyKinds #-}
{-# LANGUAGE ScopedTypeVariables #-}
{-# LANGUAGE StandaloneKindSignatures #-}
{-# LANGUAGE TypeApplications #-}
{-# LANGUAGE TypeOperators #-}

danidiaz

{-# LANGUAGE DataKinds #-}
{-# LANGUAGE TypeFamilies #-}
{-# LANGUAGE UndecidableInstances #-}
-- https://twitter.com/ChShersh/status/1544240982559948801
module Main where

import Data.Kind (Type)
import Data.RBR -- from package "red-black-record"
  ( Deletable (Delete),
    FromList,

danidiaz

export default function Flexy() : JSX.Element {
  return (<div className="flex flex-row">
    <div className = "outline outline-black">
      <p>Foo</p>
    </div>
    <div className = "outline outline-black">
      <p>Bar</p>
    </div>
    <div className = "ml-auto outline outline-black" >
      <p>Baz</p>

danidiaz

{-# LANGUAGE LinearTypes #-}
{-# LANGUAGE UnicodeSyntax #-}
{-# LANGUAGE ImportQualifiedPost #-}
module Main where

import Data.Array.Mutable.Linear (Array, set)
import Data.Array.Mutable.Linear qualified as Array
import Prelude.Linear (Ur(..), (&), (.))

quicksort :: Array Int ⊸ Array Int