gluon 0.18.2

A static, type inferred programming language for application embedding
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25

//@NO-IMPLICIT-PRELUDE
//! The identity functor and monad.

let { Functor } = import! std.functor
let { Applicative } = import! std.applicative
let { Monad } = import! std.monad

type Identity a = a

let functor : Functor Identity = {
    map = \f m -> f m,
}

let applicative : Applicative Identity = {
    functor,
    apply = \mf m -> mf m,
    wrap = \value -> value,
}

let monad : Monad Identity = {
    applicative,
    flat_map = \f m -> f m,
}

{ Identity, functor, applicative, monad }