Types32
Models
ConcurrencytypeDescribes the concurrency level for Effect operations that run multiple effects.ContravarianttypeFunction-type alias encoding contravariant variance for a phantom type parameter.CovarianttypeFunction-type alias encoding covariant variance for a phantom type parameter.EqualstypeDetermines if two types are exactly equal at the type level.EqualsWithtypeDetermines if two types are equal, returning custom types for each case.HastypeChecks whether an object type contains any of the specified keys.InvarianttypeFunction-type alias encoding invariant variance for a phantom type parameter.MergeLefttypeLeft-biased merge of two object types where keys from Source take precedence over Target on conflict.MergeRighttypeRight-biased merge of two object types where keys from Source take precedence over Target on conflict.NoInfertypePrevents TypeScript from inferring a type parameter from a specific position.Tuples
Types
DeepMutabletypeRecursively removes readonly from all properties, including nested objects, arrays, Map, and Set.ExcludeReasontypeExcludes a specific reason variant by its _tag from an error's reason field.ExcludeTagtypeExcludes members of a tagged union by their _tag value.ExtractReasontypeExtracts a specific reason variant by its _tag from an error's reason field.ExtractTagtypeExtracts a specific member of a tagged union by its _tag value.IsUniontypeChecks whether a type T is a union type.MutabletypeRemoves readonly from all properties of T.NarrowReasontypeNarrows a specific reason variant by its _tag from an error's reason field.NoExcessPropertiestypeConstrains a type to prevent excess properties not present in T.NotFunctiontypeExcludes function types from a union, keeping only non-function members.OmitReasontypeNarrows an error's reason field to exclude a specific reason variant by its _tag.ReasonOftypeExtracts the reason type from an error that has a reason field.ReasonTagstypeExtracts the _tag values from the reason type of an error.RequiredKeystypeExtracts the required keys from a type.SimplifytypeFlattens an intersection type into a single object type for readability.TagstypeExtracts the _tag string literal types from a union.unassignedinterfaceBranded marker interface representing an unassigned type parameter.unhandledinterfaceBranded marker interface representing an unhandled error type.UnionToIntersectiontypeTransforms a union type into an intersection type.VoidIfEmptytypeConditional type that returns void if S is an empty object type, otherwise returns S.