Skip to main content

Documentation Index

Fetch the complete documentation index at: https://docs.canton.network/llms.txt

Use this file to discover all available pages before exploring further.

​
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 ().