j-mueller / fingertree-tf

Generic finger-tree structure using type families.

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool


A general sequence representation with arbitrary annotations, for use as a base for implementations of various collection types. This is an implementation modified to use associated types instead of functional dependencies.

See the original paper

For a tuned sequence type, see Data.Sequence in the containers package, which is a specialization of this structure.

Examples are not available in this package. However I am working on an fingertree-extensible package which will use an idea based on types a la carte to provide composable annotations and that package will include examples :D

ezoic increase your site revenue


Generic finger-tree structure using type families.



Language:Haskell 100.0%