present-2.2: Make presentations for data types.
Present.ID
Description
ID library.
Synopsis
data ID Source
Instances
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