Control.Computation.Resourceful

Computations

Resourceful computations

data a ~> b

type Resourceful

data Blank

data a ** b

data a -: b

Resources

class Resource a

data Anchor a

Attributes

type Attr a v

unsafeToAttr

data Property a b v

(^>)

(>^)

(^^>)

(>^^)

unsafeToProperty

class ResourceFunction r

Resource values

class ResourceValue a

data Annotator a

Atomic resources

data AtomicResource h

unsafeToResourceConv

fromResourceConv

toUnitResource

fromUnitResource

toPairResource

fromPairResource