andremw

module Validation = {
  type t<'s, 'f> =
    | Success('s)
    | Failure('f)

  let pure = v => Success(v)

  let apply = (selector, source, combine) =>
    switch selector {
    | Success(map) =>

andremw

{
	"Create a nominal type": {
		"prefix": "nominal",
		"body": "type $1 = Nominal<$0, '$1'>;",
		"description": "Creates a nominal type."
	},
	"Define the base Nominal type": {
		"prefix": "basenominal",
		"body": [
			"class Tagged<T> { #secret_tag: T }",

andremw

namespace GameEngine.Common

open System


// SimpleTypes

type String35 = private String35 of string

type PersonName = PersonName of String35

andremw

"CheckGameAvailability" =
input: GameId
output: AvailableGameId OR GameAvailabilityError
dependencies: CheckGameExists, CheckGameIsFull

check if the game exists
check if the game hasn't started
check if there's room for one more player

if OK, then:

andremw

Bounded Context: Dutch Blitz game

Workflow: "Join Game"
Triggered by: 
  "Join Game" command
Primary input: 
  A join request
Output events:
  "Player joined game" event
Side-effects:

andremw

Bounded Context: Dutch Blitz game

Workflow: "Join Game"
Triggered by: 
  "Join Game" command
Primary input: 
  A join request
Output events:
  "Player joined game" event
Side-effects:

andremw

data JoinGameRequest =
  PlayerName
  AND GameId