Idris2Doc : Control.Barbie

Control.Barbie

(source)

Reexports

import public Control.ApplicativeB
import public Control.DistributiveB
import public Control.FunctorB
import public Control.RecordB
import public Control.TraversableB