DA.Functor

Reference documentation for Daml module DA.Functor.

DA.Functor

The Functor class is used for types that can be mapped over.

Module Snapshot

Lifecycle

Stable.

Notices

Status: active Introduced in: 3.4.9 Removed in: - Warnings: 0 Deprecations: 0 Deprecated since: -

Functions

$>

$> : Functor f => f a -> b -> f b

Replace all locations in the input (on the left) with the given value (on the right).

<&>

<&> : Functor f => f a -> (a -> b) -> f b

Map a function over a functor. Given a value as and a function f, as <&> f is f <$> as. That is, <&> is like <$> but the arguments are in reverse order.

<$$>

<$$> : (Functor f, Functor g) => (a -> b) -> g (f a) -> g (f b)

Nested <$>.

void

void : Functor f => f a -> f ()

Replace all the locations in the input with ().