rename Cons -> ConsList

src/cons_list.ts

@@ -14,15 +14,15 @@ export function isNone(v: any): v is None {
 // it's probably a cons, but we're only checking
 // one level with this type
 // deno-lint-ignore no-explicit-any
-export type NRCons<T> = None | readonly [T, None | readonly any[]]
+export type NRConsList<T> = None | readonly [T, None | readonly any[]]
 
 // a Cons type with limited conditional recursion
 // T is the base type for the values
-export type Cons<T, C> =
+export type ConsList<T, C> =
     C extends None
     ? None
     : C extends readonly [infer H extends T, infer R]
-    ? readonly [H, Cons<T, R>]
+    ? readonly [H, ConsList<T, R>]
     // don't recurse when there is no match,
     // it murders the compiler
     : never
@@ -32,13 +32,13 @@ export type Cons<T, C> =
 export function cons<T>() {
     return function <V extends T, const C>(
         v: V,
-        c: C extends Cons<T, C> ? C : Cons<T, C>) {
+        c: C extends ConsList<T, C> ? C : ConsList<T, C>) {
         return [v, c] as const
     }
 }
 
 export type First<T, C> =
-    C extends Cons<T, C>
+    C extends ConsList<T, C>
     ? C extends None
     ? None
     : C extends readonly [infer H extends T, infer _R]
@@ -48,7 +48,7 @@ export type First<T, C> =
 
 // get the first element from a cons list
 export function first<T>() {
-    return function <const C>(c: C extends Cons<T, C> ? C : Cons<T, C>)
+    return function <const C>(c: C extends ConsList<T, C> ? C : ConsList<T, C>)
         : First<T, C> {
         if (isNone(c)) {
             return None as First<T, C>
@@ -59,7 +59,7 @@ export function first<T>() {
 }
 
 export type Rest<T, C> =
-    C extends Cons<T, C>
+    C extends ConsList<T, C>
     ? C extends None
     ? None
     : C extends readonly [infer _H extends T, infer R]
@@ -69,7 +69,7 @@ export type Rest<T, C> =
 
 // get the rest of a cons list
 export function rest<T>() {
-    return function <const C>(c: C extends Cons<T, C> ? C : Cons<T, C>)
+    return function <const C>(c: C extends ConsList<T, C> ? C : ConsList<T, C>)
         : Rest<T, C> {
         if (isNone(c)) {
             return c as Rest<T, C>
@@ -89,9 +89,9 @@ export type Last<T, C> =
     : never
 
 export function last<T>() {
-    return function <const C>(c: C extends Cons<T, C> ? C : Cons<T, C>) {
+    return function <const C>(c: C extends ConsList<T, C> ? C : ConsList<T, C>) {
 
-        let result: Cons<T, None> = None
+        let result: ConsList<T, None> = None
         let cursor = c
         while (!isNone(cursor)) {
             // deno-lint-ignore no-explicit-any
@@ -105,7 +105,7 @@ export function last<T>() {
 }
 
 export type Reverse<T, C, Acc = None> =
-    C extends Cons<T, C>
+    C extends ConsList<T, C>
     ? C extends None
     ? Acc
     : C extends readonly [infer F extends T, infer R]
@@ -114,9 +114,9 @@ export type Reverse<T, C, Acc = None> =
     : never
 
 export function reverse<T>() {
-    return function <const C>(c: C extends Cons<T, C> ? C : Cons<T, C>) {
+    return function <const C>(c: C extends ConsList<T, C> ? C : ConsList<T, C>) {
 
-        let result: Cons<T, None> = None
+        let result: ConsList<T, None> = None
         let cursor = c
         while (!isNone(cursor)) {
             // deno-lint-ignore no-explicit-any
@@ -139,7 +139,7 @@ export type Append<T, C, V extends T> =
 // NB: builds an entirely new cons list
 export function append<T>() {
     return function <const C, V extends T>(
-        c: C extends Cons<T, C> ? C : Cons<T, C>,
+        c: C extends ConsList<T, C> ? C : ConsList<T, C>,
         v: V) {
 
         // deno-lint-ignore no-explicit-any
@@ -159,7 +159,7 @@ export type ToTuple<T, C, Acc extends readonly T[] = []> =
 export function toTuple<T>() {
     return function
         <const C>
-        (c: C extends Cons<T, C> ? C : Cons<T, C>) {
+        (c: C extends ConsList<T, C> ? C : ConsList<T, C>) {
 
         const result = []
         let cursor = c
@@ -175,7 +175,7 @@ export function toTuple<T>() {
 export type FromTuple<T,
     // deno-lint-ignore no-explicit-any
     Tuple extends readonly [...any[]],
-    Acc extends NRCons<T> = None> =
+    Acc extends NRConsList<T> = None> =
 
     Tuple extends readonly []
     ? Acc

src/object_chain.ts

@@ -14,7 +14,7 @@ import {
 
 // an effectful function of Input which build an Object
 export type ObjectChainProgram<Input extends ChainTagged,
-    Steps extends cons.NRCons<UPObjectStepSpec>> =
+    Steps extends cons.NRConsList<UPObjectStepSpec>> =
     (i: Input) => Effect.Effect<
         ObjectStepsTupleReqsU<Steps>,
         ObjectStepsErrorsU<Steps>,
@@ -23,18 +23,18 @@ export type ObjectChainProgram<Input extends ChainTagged,
 
 // a type for a service which can run an ObjectChain
 export type ObjectChainService<Input extends ChainTagged,
-    Steps extends cons.NRCons<UPObjectStepSpec>> = {
+    Steps extends cons.NRConsList<UPObjectStepSpec>> = {
         readonly buildObject: ObjectChainProgram<Input, Steps>
     }
 
 export type ObjectChainServiceContextTag<Input extends ChainTagged,
-    Steps extends cons.NRCons<UPObjectStepSpec>> =
+    Steps extends cons.NRConsList<UPObjectStepSpec>> =
     Context.Tag<ChainTag<Input>, ObjectChainService<Input, Steps>>
 
 // get a Context.Tag for an ObjectChainService
 export function objectChainServiceContextTag
     <Input extends ChainTagged,
-        Steps extends cons.NRCons<UPObjectStepSpec>>
+        Steps extends cons.NRConsList<UPObjectStepSpec>>
     () {
     return Context.Tag<ChainTag<Input>, ObjectChainService<Input, Steps>>()
 }
@@ -43,7 +43,7 @@ export function objectChainServiceContextTag
 // Object. it can be built in a single step with objectChain, or iteratively 
 // with addSteps
 export type ObjectChain<Input extends ChainTagged,
-    Steps extends cons.NRCons<UPObjectStepSpec>,
+    Steps extends cons.NRConsList<UPObjectStepSpec>,
     // this param is only here so that a chain value's IntelliSense 
     // shows the chain's return type
     _Return = ObjectChainStepsReturn<Steps,Input>> = {
@@ -64,7 +64,7 @@ export type UPObjectChain = {
     // deno-lint-ignore no-explicit-any
     readonly tag: any
     readonly tagStr: string
-    readonly steps: cons.NRCons<UPObjectStepSpec>
+    readonly steps: cons.NRConsList<UPObjectStepSpec>
     // deno-lint-ignore no-explicit-any
     readonly program: (i: any) => Effect.Effect<any, any, any>
     // deno-lint-ignore no-explicit-any
@@ -103,7 +103,7 @@ export type UPObjectChainProgramValue<T extends UPObjectChain> =
 
 // build an ObjectChain from Steps
 export function objectChain<Input extends ChainTagged>() {
-    return function <const Steps extends cons.NRCons<UPObjectStepSpec>>
+    return function <const Steps extends cons.NRConsList<UPObjectStepSpec>>
         (tag: ChainTag<Input>,
 
             steps: ObjectChainSteps<Steps, Input> extends Steps
@@ -127,7 +127,7 @@ export function objectChain<Input extends ChainTagged>() {
 // add an FxStep to an ObjectChain, returning a new ObjectChain
 export function addFxStep
     <Input extends ChainTagged,
-        const Steps extends cons.NRCons<UPObjectStepSpec>,
+        const Steps extends cons.NRConsList<UPObjectStepSpec>,
         NewStep extends UPFxObjectStepSpec>
 
     (chain: ObjectChain<Input, Steps>,
@@ -147,7 +147,7 @@ export function addFxStep
 // make an FxStep at the end of an ObjectChain, returning a new ObjectChain
 export function makeFxStep
     <Input extends ChainTagged,
-        const Steps extends cons.NRCons<UPObjectStepSpec>,
+        const Steps extends cons.NRConsList<UPObjectStepSpec>,
         K extends string,
         A extends ObjectChainStepsReturn<Steps, Input>,
         D1 extends D2,
@@ -169,7 +169,7 @@ export function makeFxStep
 // add a PureStep to an ObjectChain, returning a new ObjectChain
 export function addPureStep
     <Input extends ChainTagged,
-        const Steps extends cons.NRCons<UPObjectStepSpec>,
+        const Steps extends cons.NRConsList<UPObjectStepSpec>,
         NewStep extends UPPureObjectStepSpec>
 
     (chain: ObjectChain<Input, Steps>,
@@ -189,7 +189,7 @@ export function addPureStep
 // make a PureStep at the end of an ObjectChain, returning a new ObjectChain
 export function makePureStep
     <Input extends ChainTagged,
-        const Steps extends cons.NRCons<UPObjectStepSpec>,
+        const Steps extends cons.NRConsList<UPObjectStepSpec>,
         K extends string,
         A extends ObjectChainStepsReturn<Steps, Input>,
         V>(chain: ObjectChain<Input, Steps>,
@@ -216,7 +216,7 @@ export function makePureStep
 export function objectChainServiceImpl
 
     <Input extends ChainTagged,
-        const Steps extends cons.NRCons<UPObjectStepSpec>>
+        const Steps extends cons.NRConsList<UPObjectStepSpec>>
 
     (chain: ObjectChain<Input, Steps>) {
 
@@ -233,7 +233,7 @@ export function objectChainServiceImpl
 // to an Effect
 export function provideObjectChainServiceImpl
     <Input extends ChainTagged,
-        const Steps extends cons.NRCons<UPObjectStepSpec>,
+        const Steps extends cons.NRConsList<UPObjectStepSpec>,
         InR, InE, InV>
 
     (effect: Effect.Effect<InR, InE, InV>,
@@ -250,7 +250,7 @@ export function provideObjectChainServiceImpl
 // calls it's buildObject function
 export function objectChainFxFn
     <Input extends ChainTagged,
-        const Steps extends cons.NRCons<UPObjectStepSpec>>
+        const Steps extends cons.NRConsList<UPObjectStepSpec>>
 
     (chain: ObjectChain<Input, Steps>) {
 

src/object_chain_steps.ts

@@ -1,6 +1,6 @@
 import { Effect } from "effect"
 import { FxFn, UPFxFn } from "./fx_fn.ts"
-import { None, NRCons, Last, ToTuple, toTuple} from "./cons_list.ts"
+import { None, NRConsList, Last, ToTuple, toTuple} from "./cons_list.ts"
 
 // inspiration:
 // https://dev.to/ecyrbe/how-to-use-advanced-typescript-to-define-a-pipe-function-381h
@@ -163,7 +163,7 @@ export type ExpandTuple<Tuple extends readonly [...any[]]> = {
 } & { length: Tuple['length'] }
 
 // convert a cons list of UPObjectStepSpecs type to a Tuple type
-export type ObjectStepsTuple<Steps extends NRCons<UPObjectStepSpec>> =
+export type ObjectStepsTuple<Steps extends NRConsList<UPObjectStepSpec>> =
     ToTuple<UPObjectStepSpec, Steps>
 
 // get a union of all the Requirements from a list of steps...
@@ -174,12 +174,12 @@ export type ObjectStepReqs<T extends UPObjectStepSpec> =
     ? R
     : never
 export type ObjectStepsReqsU<
-    List extends NRCons<UPObjectStepSpec>,
+    List extends NRConsList<UPObjectStepSpec>,
     Acc = never> = 
     List extends None
     ? Acc
     : List extends readonly [infer F extends UPObjectStepSpec,
-        infer R extends NRCons<UPObjectStepSpec>]
+        infer R extends NRConsList<UPObjectStepSpec>]
     ? ObjectStepsReqsU<R, Acc | ObjectStepReqs<F>>
     : never
 type ObjectStepsTupleReqsUImpl<
@@ -192,7 +192,7 @@ type ObjectStepsTupleReqsUImpl<
 // setting up the recursion Service in object_chain.ts ...converting 
 // the list to a tuple before extracting the Requirements union seems 
 // to avoid that
-export type ObjectStepsTupleReqsU<Steps extends NRCons<UPObjectStepSpec>> =
+export type ObjectStepsTupleReqsU<Steps extends NRConsList<UPObjectStepSpec>> =
     ObjectStepsTupleReqsUImpl<ObjectStepsTuple<Steps>>
 
 // get a union of all the Errors from a list of steps
@@ -202,12 +202,12 @@ export type ObjectStepErrors<T extends UPObjectStepSpec> =
     ? E
     : never
 export type ObjectStepsErrorsU<
-    List extends NRCons<UPObjectStepSpec>,
+    List extends NRConsList<UPObjectStepSpec>,
     Acc = never> =
     List extends None
     ? Acc
     : List extends readonly [infer F extends UPObjectStepSpec,
-        infer R extends NRCons<UPObjectStepSpec>]
+        infer R extends NRConsList<UPObjectStepSpec>]
     ? ObjectStepsErrorsU<R, Acc | ObjectStepErrors<F>>
     : never
 
@@ -218,13 +218,13 @@ export type ObjectStepInput<T extends UPObjectStepSpec> =
     ? A
     : never
 export type ObjectStepsInputTuple<
-    List extends NRCons<UPObjectStepSpec>,
+    List extends NRConsList<UPObjectStepSpec>,
     // deno-lint-ignore no-explicit-any
     Acc extends readonly any[] = []> =
     List extends None
     ? Acc
     : List extends readonly [infer F extends UPObjectStepSpec,
-        infer R extends NRCons<UPObjectStepSpec>]
+        infer R extends NRConsList<UPObjectStepSpec>]
     ? ObjectStepsInputTuple<R, readonly [...Acc, ObjectStepInput<F>]>
     : never
 
@@ -235,13 +235,13 @@ export type ObjectStepValue<T extends UPObjectStepSpec> =
     ? V
     : never
 export type ObjectStepsValueTuple<
-    List extends NRCons<UPObjectStepSpec>,
+    List extends NRConsList<UPObjectStepSpec>,
     // deno-lint-ignore no-explicit-any
     Acc extends readonly any[] = []> =
     List extends None
     ? Acc
     : List extends readonly [infer F extends UPObjectStepSpec,
-        infer R extends NRCons<UPObjectStepSpec>]
+        infer R extends NRConsList<UPObjectStepSpec>]
     ? ObjectStepsValueTuple<R, readonly [...Acc, ObjectStepValue<F>]>
     : never
 
@@ -261,7 +261,7 @@ export type ObjectStepsValueTuple<
 // 2. it's safe to use never in the else branches. they will not be hit
 
 export type ObjectChainSteps<
-    Specs extends NRCons<UPObjectStepSpec>,
+    Specs extends NRConsList<UPObjectStepSpec>,
     ObjAcc> =
 
     // case: no more specs
@@ -270,7 +270,7 @@ export type ObjectChainSteps<
 
     // case: there are more specs - add a property to ObjAcc and recurse
     : Specs extends readonly [infer First,
-        infer Rest extends NRCons<UPObjectStepSpec>]
+        infer Rest extends NRConsList<UPObjectStepSpec>]
     ? First extends UCFxObjectStepSpec<
         infer FK, infer _FA, infer _FD1, infer FD2,
         infer FR, infer FE, infer FV>
@@ -285,7 +285,7 @@ export type ObjectChainSteps<
 
 // get the final Object result type from a list of ObjectStepSpecs
 export type ObjectChainStepsReturn<
-    Specs extends NRCons<UPObjectStepSpec>,
+    Specs extends NRConsList<UPObjectStepSpec>,
     ObjAcc> =
     Specs extends None
     ? ObjAcc // empty specs returns the input
@@ -304,7 +304,7 @@ export type ObjectChainStepsReturn<
 // other type params
 export function objectChainStepsProg<Obj>() {
 
-    return function <const Specs extends NRCons<UPObjectStepSpec>>
+    return function <const Specs extends NRConsList<UPObjectStepSpec>>
         (objectStepSpecs:
             ObjectChainSteps<Specs, Obj> extends Specs
             ? Specs