Skip to main content

PExtended

Represents an extended type that could either be a finite value or positive/negative infinity. It is used to generalize interval boundaries.

Definition:

import { palias } from "../../../PTypes/PAlias/palias";
import { pstruct } from "../../../PTypes/PStruct/pstruct";
import { pfn } from "../../../lib/pfn";
import { pInt } from "../../../lib/std/int";
import { int } from "../../../type_system";

export const PExtended = pstruct({
    PNegInf: {},
    PFinite: { n: int },
    PPosInf: {}
});


const PPOSIXTime = palias( int )

PPOSIXTime.from( pInt( 1 ) )

PNegInf​

Represents negative infinity

PFinite​

Represents a finite value.

PPosInf​

Represents positive infinity