Idris2Doc : Control.Comonad.Store

Control.Comonad.Store

(source)
Reexports
import public Control.Comonad.Store.Store as Control.Comonad.Store
import public Control.Comonad.Store.Interface as Control.Comonad.Store