Data.List.Lens

Reexports

Definitions

prefixed : Eq a => List a -> Prism' (List a) (List a)

  A prism that strips a prefix from a list of values.

Totality: total
Visibility: public export

suffixed : Eq a => List a -> Prism' (List a) (List a)

  A prism that strips a suffix from a list of values.

Totality: total
Visibility: public export

reversed : Iso (List a) (List b) (List a) (List b)

  An isomorphism between a list and its reverse.

Totality: total
Visibility: public export