Idris2Doc : Control.Comonad.Store

Control.Comonad.Store

(source)

Reexports

importpublic Control.Comonad.Store.Store as Control.Comonad.Store
importpublic Control.Comonad.Store.Interface as Control.Comonad.Store