package tyxml

You can search for identifiers within the package.

in-package search v0.2.0

TyXML is a library for building correct HTML and SVG documents

Install

sha256=516394dd4a5c31726997c51d66aa31cacb91e3c46d4e16c7699130e204042530

sha512=d5f2187f8410524cec7a14b28e8950837070eb0b6571b015dd06076c2841eb7ccaffa86d5d2307eaf1950ee62f9fb926477dac01c870d9c1a2f525853cb44d0c

Sourcetype 'a t = 'a

Sourceval return : 'a -> 'a t

Sourcetype (-'a, 'b) ft = 'a -> 'b

Sourceval fmap : ('a, 'b) ft -> 'a t -> 'b t

Sourcetype 'a tlist = 'a list

Sourceval nil : unit -> 'a tlist

Sourceval singleton : 'a t -> 'a tlist

Sourceval cons : 'a t -> 'a tlist -> 'a tlist

Sourceval append : 'a tlist -> 'a tlist -> 'a tlist

Sourceval map : ('a, 'b) ft -> 'a tlist -> 'b tlist