kolektiv

let record =
    { Ages = "24,56,45,10" }

(* 56 *)
let oldest =
    Optic.get recordints_ record |> List.max

(* { Ages = "25,57,46,11" } *)
let record' =
    Optic.map recordints_ (List.map ((+) 1)) record

kolektiv

open System.IO
open Freya.Core
open Freya.Core.Operators
open Freya.Machines.Http
open Freya.Routers.Uri.Template
open Freya.Types.Http

// Configuration

let fileTypes =

kolektiv

type Address =
    { Street: string
       Number: int }
     
     static member ToJson (x: Address) =
         json {
             do! Json.write "street" x.Street
             do! Json.write "streetNumber" x.Number }

type House =

kolektiv

/*

Prompted by discussion in the F# Slack, where it was proposed that reducing the use of CEs
might help people more easily pick up Freya.

Of course, there's no reason why both syntaxes can't be made available if that seems like
the right option.

The basic freya { ... } CE is a genuine monad, and so would always stay as a CE option (though
it can also be expressed using standard combinator operators/named functions already).

kolektiv

open System
open System.Text
open Freya.Core
open Freya.Machine
open Freya.Machine.Extensions.Http
open Freya.Machine.Router
open Freya.Router
open Freya.Types.Http
open Microsoft.Owin.Hosting

kolektiv

module Data.NonEmptyArray where

import Prelude

data NonEmpty a =
  NonEmpty a (Array a)

instance showNonEmpty :: Show a => Show (NonEmpty a) where
  show (NonEmpty a as) = "NonEmpty: " <> show a <> show as

kolektiv

const conversions = [
  [1000, 'M'],
  [900, 'CM'],
  [500, 'D'],
  [400, 'CD'],
  [100, 'C'],
  [90, 'XC'],
  [50, 'L'],
  [40, 'XL'],
  [10, 'X'],

kolektiv

{
  description = "A very basic flake";

  inputs = {
    fenix = {
      url = "github:nix-community/fenix";
      inputs.nixpkgs.follows = "nixpkgs";
    };
    nixpkgs = {
      url = "nixpkgs/nixos-unstable";

kolektiv

use std::{
    thread::{
        self,
        Builder,
    },
    time::Duration,
};

use midir::{
    MidiOutput,