present-2.1: Make presentations for data types.

Safe HaskellNone
LanguageHaskell98

Present.ID

Description

ID library.

Synopsis

Documentation

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

Split off the first parent from the ID.

fromList :: [Integer] -> Maybe ID Source

Try to convert from a list.

singleton :: Integer -> ID Source

Make a singleton ID.

cons :: Integer -> [Integer] -> ID Source

Construct an ID.

snoc :: ID -> Integer -> ID Source

Construct an ID.