Idris2Doc : Data.SnocList.Lens

Data.SnocList.Lens

(source)
Reexports
import public Control.Lens
Definitions
prefixed : Eq a => SnocList a -> Prism' (SnocList a) (SnocList a)
  A prism that strips a prefix from a snoclist of values.

  Totality: total
  Visibility: public export
suffixed : Eq a => SnocList a -> Prism' (SnocList a) (SnocList a)
  A prism that strips a suffix from a snoclist of values.

  Totality: total
  Visibility: public export
reversed : Iso (SnocList a) (SnocList b) (SnocList a) (SnocList b)
  An isomorphism between a snoclist and its reverse.

  Totality: total
  Visibility: public export