DA.Functor

Reference documentation for Daml module DA.Functor.

Daml module

DA.Functor

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

DamlAdded 3.4.9

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

History

Added3.4.9