Gerstacker

$fa=0.1;
$fs=2;


use <list-comprehension-demos/sweep.scad>
use <scad-utils/transformations.scad>
use <scad-utils/shapes.scad>


echo($vpr);

Gerstacker

module Data.Record.ProxyRecordPlus where

import Data.Record (insert)
import Type.Prelude (class IsSymbol, class RowLacks, class RowToList, RLProxy(RLProxy), SProxy(SProxy), RProxy)
import Type.Proxy (Proxy2(Proxy2))
import Type.Row (Cons, Nil, kind RowList)
import Control.Alternative (class Plus, empty)

class ProxyRecordArray (xs :: RowList) (row :: # Type) a (row' :: # Type) (m :: Type -> Type)
  | xs -> row row' a

Gerstacker

module Data.Record.ProxyRecordArray where

import Data.Record (insert)
import Type.Prelude (class IsSymbol, class RowLacks, class RowToList, RLProxy(RLProxy), SProxy(SProxy), RProxy)
import Type.Row (Cons, Nil, kind RowList)

class ProxyRecordArray (xs :: RowList) (row :: # Type) a (row' :: # Type)
  | xs -> row row' a
  where
    proxyRecordArrayImpl :: RLProxy xs -> Record row'