homeomorphic-0.1: Homeomorphic Embedding Test

Data.Homeomorphic.ShellId

Documentation

data ShellIds k Source

data ShellId Source

Constructors

ShellId 

Fields

allId :: Int
 
headId :: Int
 
restId :: [ShellId]
 

empty :: ShellIds kSource

retrieve :: Ord k => Shell k -> ShellIds k -> (ShellIds k, ShellId)Source