Control.Static.Closure.IsPureClosure

Documentation

class IsClosure t => IsPureClosure t where

Minimal complete definition

cpure

Associated Types

type ClosureConstraint t a :: Constraint

Methods

cpure :: ClosureConstraint t a => a -> t a

cfmap :: ClosureConstraint t b => (a -> b) -> t a -> t b

Instances

IsPureClosure (Closure ByteString)

Associated Types

type ClosureConstraint (Closure ByteString :: * -> *) a :: Constraint

Methods

cpure :: ClosureConstraint (Closure ByteString) a => a -> Closure ByteString a

cfmap :: ClosureConstraint (Closure ByteString) b => (a -> b) -> Closure ByteString a -> Closure ByteString b