type-aligned-0.9.6: Various type-aligned sequence data structures.

Copyright(c) Atze van der Ploeg 2014
LicenseBSD-style
Maintaineratzeus@gmail.org
Stabilityprovisional
Portabilityportable
Safe HaskellSafe-Inferred
LanguageHaskell98

Data.TASequence.SnocList

Description

A type aligned sequence, a snoc list, with worst case constant time: |>, and tviewr.

Documentation

module Data.TASequence

data SnocList c x y where Source

Constructors

SNil :: SnocList c x x 
Snoc :: SnocList c x y -> c y z -> SnocList c x z 

Instances