Control.Computation.Resourceful

Computations

module Control.Computation

Resourceful computations

data a ~> b infixr 0

Instances

Arrow (~>)

ArrowChoice (~>)

Computation Resourceful

Category * (~>)

Connected Pure Resourceful

Link ((==>) Pure Resourceful)

Link ((<==) Pure Resourceful)

ResourceValue ((==>) Pure Resourceful a)

type Unit Resourceful = Blank

type Pair Resourceful = (**)

type Function Resourceful = (-:)

data Pure ==> Resourceful = Up {

• shredder :: Shredder
• value :: a

}

data Pure <== Resourceful = Down {

• fromDown :: Shredder -> b

}

type DropResult Resourceful a = ResourceValue a

type Source ((==>) Pure Resourceful) = Pure

type Source ((<==) Pure Resourceful) = Resourceful

type Target ((==>) Pure Resourceful) = Resourceful

type Target ((<==) Pure Resourceful) = Pure

type Resourceful = (~>)

data Blank

Instances

ResourceValue Blank

ResourceFunction Blank

Resource Blank

Typeable * Blank

data a ** b infixr 7

Instances

ResourceValue a => ResourceValue ((**) a b)

(Resource a, Resource b) => ResourceFunction ((**) a b)

(Resource a, Resource b) => Resource ((**) a b)

Typeable (* -> * -> *) (**)

data a -: b infixr 1

Instances

ResourceValue b => ResourceValue ((-:) a b)

ResourceFunction b => ResourceFunction ((-:) a b)

Typeable (* -> * -> *) (-:)

Resources

class ResourceFunction a => Resource a where

Methods

anchor :: Anchor a

Instances

Resource Blank

Resource (AtomicResource h)

(Resource a, Resource b) => Resource ((**) a b)

Typeable (* -> Constraint) Resource

data Anchor a

Constructors

forall h . Anchor (a ~> AtomicResource h) (AtomicResource h ~> a)

Instances

Typeable (* -> *) Anchor

Attributes

type Attr a v = Property a a v

unsafeToAttr :: (h -> IO v) -> Attr (AtomicResource h) v

newtype Property a b v

Constructors

Property (forall h. (v -> b ~> AtomicResource h) -> a ~> AtomicResource h)

Instances

Functor (Property a b)

Typeable (* -> * -> * -> *) Property

(^>) :: (a -> b) -> Property b c v -> Property a c v infixr 1

(>^) :: Property a b v -> (b -> c) -> Property a c v infixr 1

(^^>) :: (a ~> b) -> Property b c v -> Property a c v infixr 1

(>^^) :: Property a b v -> (b ~> c) -> Property a c v infixr 1

unsafeToProperty :: (h -> IO (v, k)) -> Property (AtomicResource h) (AtomicResource k) v

class ResourceFunction r where

Methods

get :: Property a b v -> (v -> b ~> r) -> a ~> r

Instances

ResourceFunction Blank

ResourceFunction (AtomicResource h)

ResourceFunction b => ResourceFunction ((-:) a b)

(Resource a, Resource b) => ResourceFunction ((**) a b)

Typeable (* -> Constraint) ResourceFunction

Resource values

class ResourceValue a where

Minimal complete definition

Nothing

Methods

annotate :: a -> Annotator a

Instances

ResourceValue Bool

ResourceValue Char

ResourceValue Double

ResourceValue Float

ResourceValue Int

ResourceValue Integer

ResourceValue Ordering

ResourceValue Rational

ResourceValue ()

ResourceValue Blank

ResourceValue a => ResourceValue [a]

ResourceValue a => ResourceValue (Maybe a)

ResourceValue (AtomicResource h)

(ResourceValue a, ResourceValue b) => ResourceValue (a -> b)

(ResourceValue a, ResourceValue b) => ResourceValue (Either a b)

(ResourceValue a, ResourceValue b) => ResourceValue (a, b)

ResourceValue b => ResourceValue ((-:) a b)

ResourceValue a => ResourceValue ((**) a b)

Typeable (* -> Constraint) ResourceValue

(ResourceValue a, ResourceValue b, ResourceValue c) => ResourceValue (a, b, c)

ResourceValue ((==>) Pure Resourceful a)

(ResourceValue a, ResourceValue b, ResourceValue c, ResourceValue d) => ResourceValue (a, b, c, d)

(ResourceValue a, ResourceValue b, ResourceValue c, ResourceValue d, ResourceValue e) => ResourceValue (a, b, c, d, e)

(ResourceValue a, ResourceValue b, ResourceValue c, ResourceValue d, ResourceValue e, ResourceValue f) => ResourceValue (a, b, c, d, e, f)

data Annotator a

Instances

Functor Annotator

Applicative Annotator

Atomic resources

data AtomicResource h

Instances

ResourceValue (AtomicResource h)

ResourceFunction (AtomicResource h)

Resource (AtomicResource h)

Typeable (* -> *) AtomicResource

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)