Link Search Menu Expand Document

Prism overview

This module is experimental

Experimental features are published in order to get early feedback from the community.

A feature tagged as Experimental is in a high state of flux, you’re at risk of it changing without notice.

A Prism is an optic used to select part of a sum type.

Laws:

  1. pipe(getOption(s), fold(() => s, reverseGet)) = s
  2. getOption(reverseGet(a)) = some(a)

Added in v2.3.0


Table of contents


Invariant

imap

Signature

export declare const imap: <A, B>(f: (a: A) => B, g: (b: B) => A) => <E>(sa: Prism<E, A>) => Prism<E, B>

Added in v2.3.0

combinators

atKey

Return a Optional from a Prism focused on a required key of a ReadonlyRecord.

Signature

export declare const atKey: (
  key: string
) => <S, A>(sa: Prism<S, Readonly<Record<string, A>>>) => Optional<S, O.Option<A>>

Added in v2.3.0

component

Return a Optional from a Prism focused on a component of a tuple.

Signature

export declare const component: <A extends readonly unknown[], P extends keyof A>(
  prop: P
) => <S>(sa: Prism<S, A>) => Optional<S, A[P]>

Added in v2.3.0

filter

Signature

export declare function filter<A, B extends A>(refinement: Refinement<A, B>): <S>(sa: Prism<S, A>) => Prism<S, B>
export declare function filter<A>(predicate: Predicate<A>): <S>(sa: Prism<S, A>) => Prism<S, A>

Added in v2.3.0

findFirst

Signature

export declare function findFirst<A, B extends A>(
  refinement: Refinement<A, B>
): <S>(sa: Prism<S, ReadonlyArray<A>>) => Optional<S, B>
export declare function findFirst<A>(predicate: Predicate<A>): <S>(sa: Prism<S, ReadonlyArray<A>>) => Optional<S, A>

Added in v2.3.2

findFirstNonEmpty

Signature

export declare function findFirstNonEmpty<A, B extends A>(
  refinement: Refinement<A, B>
): <S>(sa: Prism<S, ReadonlyNonEmptyArray<A>>) => Optional<S, B>
export declare function findFirstNonEmpty<A>(
  predicate: Predicate<A>
): <S>(sa: Prism<S, ReadonlyNonEmptyArray<A>>) => Optional<S, A>

Added in v2.3.8

fromNullable

Return a Prism from a Prism focused on a nullable value.

Signature

export declare const fromNullable: <S, A>(sa: Prism<S, A>) => Prism<S, NonNullable<A>>

Added in v2.3.3

index

Return a Optional from a Prism focused on an index of a ReadonlyArray.

Signature

export declare const index: (i: number) => <S, A>(sa: Prism<S, readonly A[]>) => Optional<S, A>

Added in v2.3.0

indexNonEmpty

Return a Optional from a Prism focused on an index of a ReadonlyNonEmptyArray.

Signature

export declare const indexNonEmpty: (i: number) => <S, A>(sa: Prism<S, ReadonlyNonEmptyArray<A>>) => Optional<S, A>

Added in v2.3.8

key

Return a Optional from a Prism focused on a key of a ReadonlyRecord.

Signature

export declare const key: (key: string) => <S, A>(sa: Prism<S, Readonly<Record<string, A>>>) => Optional<S, A>

Added in v2.3.0

left

Return a Prism from a Prism focused on the Left of a Either type.

Signature

export declare const left: <S, E, A>(sea: Prism<S, Either<E, A>>) => Prism<S, E>

Added in v2.3.0

modify

Signature

export declare const modify: <A, B extends A = A>(f: (a: A) => B) => <S>(sa: Prism<S, A>) => (s: S) => S

Added in v2.3.0

modifyF

Signature

export declare function modifyF<F extends URIS3>(
  F: Applicative3<F>
): <A, R, E>(f: (a: A) => Kind3<F, R, E, A>) => <S>(sa: Prism<S, A>) => (s: S) => Kind3<F, R, E, S>
export declare function modifyF<F extends URIS2>(
  F: Applicative2<F>
): <A, E>(f: (a: A) => Kind2<F, E, A>) => <S>(sa: Prism<S, A>) => (s: S) => Kind2<F, E, S>
export declare function modifyF<F extends URIS>(
  F: Applicative1<F>
): <A>(f: (a: A) => Kind<F, A>) => <S>(sa: Prism<S, A>) => (s: S) => Kind<F, S>
export declare function modifyF<F>(
  F: Applicative<F>
): <A>(f: (a: A) => HKT<F, A>) => <S>(sa: Prism<S, A>) => (s: S) => HKT<F, S>

Added in v2.3.5

modifyOption

Signature

export declare const modifyOption: <A, B extends A = A>(f: (a: A) => B) => <S>(sa: Prism<S, A>) => (s: S) => O.Option<S>

Added in v2.3.0

prop

Return a Optional from a Prism and a prop.

Signature

export declare const prop: <A, P extends keyof A>(prop: P) => <S>(sa: Prism<S, A>) => Optional<S, A[P]>

Added in v2.3.0

props

Return a Optional from a Prism and a list of props.

Signature

export declare const props: <A, P extends keyof A>(
  props_0: P,
  props_1: P,
  ...props_2: P[]
) => <S>(sa: Prism<S, A>) => Optional<S, { [K in P]: A[K] }>

Added in v2.3.0

Return a Prism from a Prism focused on the Right of a Either type.

Signature

export declare const right: <S, E, A>(sea: Prism<S, Either<E, A>>) => Prism<S, A>

Added in v2.3.0

set

Signature

export declare const set: <A>(a: A) => <S>(sa: Prism<S, A>) => (s: S) => S

Added in v2.3.0

some

Return a Prism from a Prism focused on the Some of a Option type.

Signature

export declare const some: <S, A>(soa: Prism<S, O.Option<A>>) => Prism<S, A>

Added in v2.3.0

traverse

Return a Traversal from a Prism focused on a Traversable.

Signature

export declare function traverse<T extends URIS>(
  T: Traversable1<T>
): <S, A>(sta: Prism<S, Kind<T, A>>) => Traversal<S, A>

Added in v2.3.0

compositions

compose

Compose a Prism with a Prism.

Signature

export declare const compose: <A, B>(ab: Prism<A, B>) => <S>(sa: Prism<S, A>) => Prism<S, B>

Added in v2.3.0

composeIso

Compose a Prism with a Iso.

Signature

export declare const composeIso: <A, B>(ab: Iso<A, B>) => <S>(sa: Prism<S, A>) => Prism<S, B>

Added in v2.3.8

composeLens

Compose a Prism with a Lens.

Signature

export declare const composeLens: <A, B>(ab: Lens<A, B>) => <S>(sa: Prism<S, A>) => Optional<S, B>

Added in v2.3.0

composeOptional

Compose a Prism with an Optional.

Signature

export declare const composeOptional: <A, B>(ab: Optional<A, B>) => <S>(sa: Prism<S, A>) => Optional<S, B>

Added in v2.3.0

composePrism

Alias of compose.

Signature

export declare const composePrism: <A, B>(ab: Prism<A, B>) => <S>(sa: Prism<S, A>) => Prism<S, B>

Added in v2.3.8

composeTraversal

Compose a Prism with an Traversal.

Signature

export declare const composeTraversal: <A, B>(ab: Traversal<A, B>) => <S>(sa: Prism<S, A>) => Traversal<S, B>

Added in v2.3.8

constructors

fromPredicate

Signature

export declare const fromPredicate: {
  <S, A extends S>(refinement: Refinement<S, A>): Prism<S, A>
  <A>(predicate: Predicate<A>): Prism<A, A>
}

Added in v2.3.0

id

Signature

export declare const id: <S>() => Prism<S, S>

Added in v2.3.0

prism

Signature

export declare const prism: <S, A>(getOption: (s: S) => O.Option<A>, reverseGet: (a: A) => S) => Prism<S, A>

Added in v2.3.8

converters

asOptional

View a Prism as a Optional.

Signature

export declare const asOptional: <S, A>(sa: Prism<S, A>) => Optional<S, A>

Added in v2.3.0

asTraversal

View a Prism as a Traversal.

Signature

export declare const asTraversal: <S, A>(sa: Prism<S, A>) => Traversal<S, A>

Added in v2.3.0

instances

Category

Signature

export declare const Category: Category2<'monocle-ts/Prism'>

Added in v2.3.0

Invariant

Signature

export declare const Invariant: Invariant2<'monocle-ts/Prism'>

Added in v2.3.0

Semigroupoid

Signature

export declare const Semigroupoid: Semigroupoid2<'monocle-ts/Prism'>

Added in v2.3.8

URI

Signature

export declare const URI: 'monocle-ts/Prism'

Added in v2.3.0

URI (type alias)

Signature

export type URI = typeof URI

Added in v2.3.0

model

Prism (interface)

Signature

export interface Prism<S, A> {
  readonly getOption: (s: S) => Option<A>
  readonly reverseGet: (a: A) => S
}

Added in v2.3.0