Commands

Documentation

data DO a

Constructors

ListDroplets ([Droplet] -> a)

CreateDroplet BoxConfiguration (Either String Droplet -> a)

DestroyDroplet Id (Maybe String -> a)

DropletAction Id Action (Either String ActionResult -> a)

GetAction Id Id (Either String ActionResult -> a)

ListKeys ([Key] -> a)

ListSizes ([Size] -> a)

ListImages ([Image] -> a)

Instances

Functor DO

Monad m => PairingM (CoDO m) DO m

type DOT = FreeT DO

listDroplets :: Monad m => DOT m [Droplet]

createDroplet :: Monad m => BoxConfiguration -> DOT m (Either String Droplet)

destroyDroplet :: Monad m => Id -> DOT m (Maybe String)

dropletAction :: Monad m => Id -> Action -> DOT m (Either String ActionResult)

getAction :: Monad m => Id -> Id -> DOT m (Either String ActionResult)

listKeys :: Monad m => DOT m [Key]

listSizes :: Monad m => DOT m [Size]

listImages :: Monad m => DOT m [Image]

data CoDO m k

Constructors

CoDO

Fields

listDropletsH :: (m [Droplet], k)

createDropletH :: BoxConfiguration -> (m (Either String Droplet), k)

destroyDropletH :: Id -> (m (Maybe String), k)

actionDropletH :: Id -> Action -> (m (Either String ActionResult), k)

getActionH :: Id -> Id -> (m (Either String ActionResult), k)

listKeysH :: (m [Key], k)

listSizesH :: (m [Size], k)

listImagesH :: (m [Image], k)

Instances

Functor (CoDO m)

Monad m => PairingM (CoDO m) DO m

type CoDOT m = CofreeT (CoDO m)