Idris2Doc : Frexlet.Monoid.List

Frexlet.Monoid.List

Monoid structures over Lists

Reexports

import public Data.List
import public Data.Setoid.List

Definitions

ListMonoid : Monoid
  Monoid structure over lists with catenation

Totality: total
Visibility: public export