freddi301

type Exact<A, B extends A> = A extends B
  ? B
  : B extends Record<any, any>
    ? { [K in keyof B]: K extends keyof A ? Exact<A[K], B[K]> : never }
    : B extends Array<any>
      ? { [K in keyof B]: K extends keyof A ? Exact<A[K], B[K]> : never }
      : never;

function invariantize<A, R>(
  fun: (a: A) => R

freddi301

// adjust refreshing value in time for more pleasant loading indicator animation
// it is true if it was awlays true in the last 0.3 seconds
// it stays true for at least 1.0 second
function useAdjustedRefreshingValue(isRefreshing: boolean): boolean {
  const DO_NOT_SHOW_BEFORE_MILLIS = 300;
  const SHOW_FOR_AT_LEAST_MILLIS = 1000;
  const [adjustedIsRefreshing, setAdjustedIsRefreshing] =
    React.useState(isRefreshing);
  const [isRefrescingSince, setIsRefreshingSince] = React.useState(0);
  React.useEffect(() => {

freddi301

data DependentState : Type -> Type -> Type -> Type where
  MakeDependentState : (s' -> (s'', r)) -> DependentState s' s'' r

ret : r -> DependentState s s r
ret r = MakeDependentState $ \s => (s, r)

get : DependentState s s s
get = MakeDependentState $ \s => (s, s)

set : s'' -> DependentState s' s'' ()

freddi301

data Heap : Nat -> (Nat -> Type) -> Type where
  Lin : Heap Z a
  (:<) : Heap l a -> a l -> Heap (S l) a

data Tree : Nat -> Type where
  Leaf : String -> Tree n
  Branch : Fin n -> Fin n -> Tree n

u1 : Heap 4 Tree
u1 = [<

freddi301

interface Idempotent (action : stateType -> stateType) where
  law : (state : stateType) -> let u = action state in action u = u

IncFrom : Nat -> Nat -> Nat
IncFrom original state = case decEq state original of
  Yes _ => S state
  No _ => state

{o : Nat} -> Idempotent (IncFrom o) where
  law s with (decEq s o)

freddi301

module Parser

import Data.Nat
import Data.List

%default total

-- interface Codec input output where
--   encode : input -> output
--   decode : output -> Maybe input

freddi301

export type Outcome<Value, Report> = { type: "valid"; value: Value } | { type: "invalid"; reports: Array<Report> };

export type ValidatorSyncBase<Value, Report> = {
  validateSync(value: unknown): Outcome<Value, Report>;
};

export function makeValidatorSync<const Value, const Report>(validatorSyncBase: ValidatorSyncBase<Value, Report>) {
  return {
    ...validatorSyncBase,
    refine: refine(validatorSyncBase),

freddi301

apply plugin: 'maven-publish'

/*
 * Fix NodeJS version
 */
node.nodeVersion="20.11.1"
node.npmVersion="10.2.4"

/*
 * Fix for artifact deploy

freddi301

- check with browser plugin "wave" and "axe" also chrome lighthouse accesibility

open chrome inspect element and see the accesibility tree
- generally copy accessibility from mui.com components

- banner role (first <header> in page) should contain title, logo, optionally nav
- contentinfo role (first <footer> in page)
- <main/> (ensure there is only one so that user can skip over heading and sides to most important content)
- <aside/>

freddi301

import React from "react";

export function useGeolocation({
  isEnabled,
  positionOptions: { enableHighAccuracy, maximumAge, timeout },
  startTransition,
}: {
  isEnabled: boolean;
  positionOptions: PositionOptions;
  startTransition?(update: () => void): void;