ADP.Fusion.None

Documentation

data None

Constructors

None

Instances

Build None

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

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

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

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

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

none :: None