Skip to content
Effect 4.0 is here. One ecosystem. Zero dependencies.

Identity

18 exports Since v0.24.0 Source

Instances

Signature

declare const Applicative: applicative.Applicative<IdentityTypeLambda>
Since v0.24.0

Signature

declare const Chainable: chainable.Chainable<IdentityTypeLambda>
Since v0.24.0

Signature

declare const Covariant: covariant.Covariant<IdentityTypeLambda>
Since v0.24.0

Signature

declare const FlatMap: flatMap_.FlatMap<IdentityTypeLambda>
Since v0.24.0

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>>
Since v0.24.0

Signature

declare const Invariant: invariant.Invariant<IdentityTypeLambda>
Since v0.24.0

Signature

declare const Monad: monad.Monad<IdentityTypeLambda>
Since v0.24.0

Signature

declare const Of: of_.Of<IdentityTypeLambda>
Since v0.24.0

Signature

declare const Pointed: pointed.Pointed<IdentityTypeLambda>
Since v0.24.0

Signature

declare const Product: product_.Product<IdentityTypeLambda>

Signature

declare const SemiApplicative: semiApplicative.SemiApplicative<IdentityTypeLambda>

Signature

declare const SemiProduct: semiProduct.SemiProduct<IdentityTypeLambda>

Signature

declare const Traversable: traversable.Traversable<IdentityTypeLambda>

Models

Since v0.24.0

Signature

type Identity<A> = A

Type Lambdas

Since v0.24.0

Signature

interface IdentityTypeLambda extends TypeLambda {
readonly type: unknown;
}
Since v0.24.0

Signature

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