Skip to content

Identity

18 exports Added in v0.24.0 Source

Instances

Applicative

Added in v0.24.0 Source

Signature

declare const Applicative: applicative.Applicative<IdentityTypeLambda>;

Chainable

Added in v0.24.0 Source

Signature

declare const Chainable: chainable.Chainable<IdentityTypeLambda>;

Covariant

Added in v0.24.0 Source

Signature

declare const Covariant: covariant.Covariant<IdentityTypeLambda>;

FlatMap

Added in v0.24.0 Source

Signature

declare const FlatMap: flatMap_.FlatMap<IdentityTypeLambda>;

Foldable

Added in v0.24.0 Source

Signature

declare const Foldable: foldable.Foldable<IdentityTypeLambda>;

Signature

declare function getSemiAlternative<A>(S: Semigroup<A>): SemiAlternative<IdentityTypeLambdaFix<A>>;

Signature

declare function getSemiCoproduct<A>(S: Semigroup<A>): SemiCoproduct<IdentityTypeLambdaFix<A>>;

Invariant

Added in v0.24.0 Source

Signature

declare const Invariant: invariant.Invariant<IdentityTypeLambda>;

Monad

Added in v0.24.0 Source

Signature

declare const Monad: monad.Monad<IdentityTypeLambda>;

Of

Added in v0.24.0 Source

Signature

declare const Of: of_.Of<IdentityTypeLambda>;

Pointed

Added in v0.24.0 Source

Signature

declare const Pointed: pointed.Pointed<IdentityTypeLambda>;

Product

Added in v0.24.0 Source

Signature

declare const Product: product_.Product<IdentityTypeLambda>;

Signature

declare const SemiApplicative: semiApplicative.SemiApplicative<IdentityTypeLambda>;

SemiProduct

Added in v0.24.0 Source

Signature

declare const SemiProduct: semiProduct.SemiProduct<IdentityTypeLambda>;

Traversable

Added in v0.24.0 Source

Signature

declare const Traversable: traversable.Traversable<IdentityTypeLambda>;

Models

Identity type

Added in v0.24.0 Source

Signature

type Identity<A> = A;

Type Lambdas

IdentityTypeLambda interface

Added in v0.24.0 Source

Signature

interface IdentityTypeLambda extends TypeLambda {
  readonly type: unknown;
}

IdentityTypeLambdaFix interface

Added in v0.24.0 Source

Signature

interface IdentityTypeLambdaFix<A> extends TypeLambda {
  readonly type: A;
}