present-1.0: Make presentations for data types.

Safe HaskellNone

Present.ID

Description

ID library.

Synopsis

Documentation

split :: ID -> (Integer, Maybe ID)Source

Split off the first parent from the ID.

fromList :: [Integer] -> Maybe IDSource

Try to convert from a list.

singleton :: Integer -> IDSource

Make a singleton ID.

cons :: Integer -> [Integer] -> IDSource

Construct an ID.

snoc :: ID -> Integer -> IDSource

Construct an ID.