hask-0: Categories

Copyright(c) Edward Kmett 2008-2014
LicenseBSD3
MaintainerEdward Kmett <ekmett@gmail.com>
Stabilityexperimental
Portabilitynon-portable
Safe HaskellNone
LanguageHaskell2010

Hask.Store

Description

 

Documentation

type family Store :: i -> i -> i Source

Instances

type Store * = Store0 
type Store (k -> *) = Store1 k 

data Store0 s a Source

Constructors

Store (s -> a) s 

Instances

Functor * * (Store0 s) 
Comonad * (Store0 s) 
Cosemimonad * (Store0 s) 

data Store1 s a i Source

Constructors

Store1 (s ~> a) (s i) 

Instances

Comonad (k -> *) (Store1 k s) 
Cosemimonad (k -> *) (Store1 k s) 
Functor (k -> *) (k -> *) (Store1 k s)