Medium

Documentation

class Construct medium where

Methods

prim :: a -> medium a

(+:+), (=:=) :: medium a -> medium a -> medium a infixr 7 +:+infixr 6 =:=

serial, parallel :: C a => [medium a] -> medium a

serial1, parallel1 :: [medium a] -> medium a

Instances

Construct T

Construct T

Construct (T control)

Label label => Construct (T label control)

class Construct medium => C medium where

Methods

switchBinary :: (a -> b) -> (medium a -> medium a -> b) -> (medium a -> medium a -> b) -> b -> medium a -> b

switchList :: (a -> b) -> ([medium a] -> b) -> ([medium a] -> b) -> medium a -> b

Instances

C T

C T

mapList :: (C b, C medium) => (a -> b) -> ([medium b] -> [medium b]) -> ([medium b] -> [medium b]) -> medium a -> medium b

mapListFlat :: (C b, C medium) => (a -> b) -> ([medium a] -> [medium b]) -> ([medium a] -> [medium b]) -> medium a -> medium b

foldList :: C medium => (a -> b) -> ([b] -> b) -> ([b] -> b) -> medium a -> b

foldBin :: C medium => (a -> b) -> (b -> b -> b) -> (b -> b -> b) -> b -> medium a -> b

listMediumFromAny :: (Construct dst, C src, C a) => src a -> dst a

binaryMediumFromAny :: (Construct dst, C src) => dst a -> src a -> dst a