Data.Trie.Pred.Interface.Types

Heterogenous Construction

class Singleton chunks a trie

class Extend eitherUrlChunk child result

class Extrude chunks start result

type ExtrudeSoundly k cleanxs xs c r

type family CatMaybes (xs :: [Maybe *]) :: [*] where ...

Path Construction

only

pred

(./)

nil

Path Types

data PathChunk k mx

data PathChunks k xs