Control.Computation.Resourceful

Contents

• Computations
• Resourceful computations
• Resources
• Attributes
• Resource values
• Atomic resources

Synopsis

• module Control.Computation
• data a ~> b
• type Resourceful = (~>)
• data Blank
• data a ** b
• data a -: b
• class ResourceFunction a => Resource a where
  • anchor :: Anchor a
• data Anchor a = forall h . Anchor (a ~> AtomicResource h) (AtomicResource h ~> a)
• type Attr a v = Property a a v
• unsafeToAttr :: (h -> IO v) -> Attr (AtomicResource h) v
• newtype Property a b v = Property (forall h. (v -> b ~> AtomicResource h) -> a ~> AtomicResource h)
• (^>) :: (a -> b) -> Property b c v -> Property a c v
• (>^) :: Property a b v -> (b -> c) -> Property a c v
• (^^>) :: (a ~> b) -> Property b c v -> Property a c v
• (>^^) :: Property a b v -> (b ~> c) -> Property a c v
• unsafeToProperty :: (h -> IO (v, k)) -> Property (AtomicResource h) (AtomicResource k) v
• class ResourceFunction r where
  • get :: Property a b v -> (v -> b ~> r) -> a ~> r
• class ResourceValue a where
  • annotate :: a -> Annotator a
• data Annotator a
• data AtomicResource h
• unsafeToResourceConv :: (h -> IO k) -> AtomicResource h ~> AtomicResource k
• fromResourceConv :: (AtomicResource h ~> AtomicResource k) -> h -> IO k
• toUnitResource :: Blank ~> AtomicResource ()
• fromUnitResource :: AtomicResource () ~> Blank
• toPairResource :: (AtomicResource h ** AtomicResource k) ~> AtomicResource (h, k)
• fromPairResource :: AtomicResource (h, k) ~> (AtomicResource h ** AtomicResource k)

Computations

Resourceful computations

Resources

Attributes

Resource values

Atomic resources