3.13 either

3

Builtins and Libraries

3.1	Global Utilities
3.2	Numbers
3.3	Strings
3.4	Booleans
3.5	Raw Array
3.6	Tables
3.7	lists
3.8	sets
3.9	arrays
3.10	string-dict
3.11	option
3.12	pick
3.13	either
3.14	srcloc
3.15	pprint
3.16	s-exp
3.17	s-exp-structs
3.18	image-structs
3.19	image
3.20	world
3.21	reactors
3.22	plot

3.13

On this page:

3.13.1 Data types

← prev up next →

3.13 either

Usage:

include either

import either as ...

3.13.1 Data types

data Either<a,b>:

| left(v :: a)
| right(v :: b)

end

left :: (v :: a) -> Either<a, b>
right :: (v :: b) -> Either<a, b>
is-left :: (val :: Any) -> Boolean
is-right :: (val :: Any) -> Boolean

← prev up next →