Safe Haskell	Safe
Language	Haskell2010

Medium.Controlled

Documentation

class C medium where Source

Methods

control :: control -> medium control a -> medium control a Source

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

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

Instances

C T Source

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

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