Network.DO.Commands

Documentation

data DO a

Constructors

ListKeys ([Key] -> a)

ListSizes ([Size] -> a)

ListImages ([Image] -> a)

ListRegions ([Region] -> a)

Instances

Functor DO

Methods

fmap :: (a -> b) -> DO a -> DO b

(<$) :: a -> DO b -> DO a

Monad m => PairingM (CoDO m) DO m

Methods

pairM :: (a -> b -> m r) -> CoDO m a -> DO b -> m r

type DOT = FreeT DO

listKeys :: DO [Key]

listSizes :: DO [Size]

listImages :: DO [Image]

listRegions :: DO [Region]

data CoDO m k

Constructors

CoDO

Fields

• listKeysH :: (m [Key], k)
• listSizesH :: (m [Size], k)
• listImagesH :: (m [Image], k)
• listRegionsH :: (m [Region], k)

Instances

Functor (CoDO m)

Methods

fmap :: (a -> b) -> CoDO m a -> CoDO m b

(<$) :: a -> CoDO m b -> CoDO m a

Monad m => PairingM (CoDO m) DO m

Methods

pairM :: (a -> b -> m r) -> CoDO m a -> DO b -> m r

type CoDOT m = CofreeT (CoDO m)