Control.SF.SF

Documentation

newtype SF a b

Constructors

SF

Fields

runSF :: a -> (b, SF a b)

Instances

Category SF

ArrowLoop SF

ArrowChoice SF

Arrow SF

ArrowInit SF

ArrowCircuit SF

ArrowInitP SF p

run :: SF a b -> [a] -> [b]

unfold :: SF () a -> [a]

nth :: Int -> SF () a -> a

nth' :: Int -> (b, ((), b) -> (a, b)) -> a