ADP.Fusion.Empty

Documentation

data Empty

Constructors

Empty

Instances

Build Empty

(Monad m, Elms ls Subword, MkStream m ls Subword) => MkStream m (:!: ls Empty) Subword

(Monad m, TermElm m ts is) => TermElm m (Term ts Empty) (:. is PointL)

ValidIndex ls Subword => ValidIndex (:!: ls Empty) Subword

Elms ls Subword => Elms (:!: ls Empty) Subword

TermValidIndex ts is => TermValidIndex (Term ts Empty) (:. is PointL)

empty :: Empty