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
using Marten; | |
using Marten.Events.Aggregation; | |
using Marten.Events.Projections; | |
const string connectionString = | |
"PORT = 5432; HOST = localhost; TIMEOUT = 15; POOLING = True; DATABASE = 'marten_cqrs_test'; USER ID = 'test'"; | |
var documentStore = DocumentStore.For(options => | |
{ | |
options.Connection(connectionString); |
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
open FCQRS.Model.Data | |
open FCQRS.Model.Aether | |
open FCQRS.Model.Aether.Operators | |
open FsToolkit.ErrorHandling | |
module Domain = | |
type FirstName = | |
private | |
| FirstName of ShortString |
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 Aether | |
open System | |
// ---------------------------------------------------------------------------- | |
// Optics | |
// ---------------------------------------------------------------------------- | |
/// Lens from 'a -> 'b. | |
type Lens<'a,'b> = |
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 Aether | |
open System | |
// Optics | |
/// Lens from 'a -> 'b. | |
type Lens<'a,'b> = | |
('a -> 'b) * ('b -> 'a -> 'a) |
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 Aether | |
open System | |
// Optics | |
/// Lens from 'a -> 'b. | |
type Lens<'a,'b> = | |
('a -> 'b) * ('b -> 'a -> 'a) |
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
// ----------------------------- | |
// 1) Lazy List | |
// ----------------------------- | |
type 'a lazyList = | |
| LNil | |
| LCons of Lazy<'a * 'a lazyList> | |
module LazyList = | |
let cons x xs = LCons(lazy (x, xs)) | |
let empty<'a> : 'a lazyList = LNil |
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 Aether | |
open System | |
// Optics | |
/// Lens from 'a -> 'b. | |
type Lens<'a,'b> = | |
('a -> 'b) * ('b -> 'a -> 'a) |
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
type Functor = class end | |
let inline map (f: 'a -> 'b) (x: ^Functor) : ^Result = | |
((^Functor or ^Result or Functor) : (static member Map : ^Functor * ('a -> 'b) -> ^Result) (x, f)) | |
type Functor with | |
static member inline Map (x: list<'a>, f: 'a -> 'b) : list<'b> = | |
List.map f x | |
static member inline Map (x: option<'a>, f: 'a -> 'b) : option<'b> = |
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
<!DOCTYPE html> | |
<html lang="en" class="home"> | |
<head> | |
<meta charset="UTF-8"> | |
<title>View Transitions</title> | |
<meta name="viewport" content="width=device-width, initial-scale=1.0, user-scalable=no, viewport-fit=cover"> | |
<link rel="stylesheet" href="view-transitions.css"> | |
<script src="view-transitions.js"></script> | |
</head> |
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
/* Define the typography layer */ | |
@layer typography { | |
/* Define the fonts layer */ | |
@layer fonts { | |
/* Example of @font-face declarations */ | |
@font-face { | |
font-family: "Inter"; | |
src: url("/fonts/Inter-Regular.woff2") format("woff2"), | |
url("/fonts/Inter-Regular.woff") format("woff"); | |
font-weight: 400; |
NewerOlder