Control.SF.SF
newtype SF a b Source #
Constructors
Fields
Defined in Control.SF.SF
Methods
delay :: b -> SF b b #
arr :: (b -> c) -> SF b c #
first :: SF b c -> SF (b, d) (c, d) #
second :: SF b c -> SF (d, b) (d, c) #
(***) :: SF b c -> SF b' c' -> SF (b, b') (c, c') #
(&&&) :: SF b c -> SF b c' -> SF b (c, c') #
left :: SF b c -> SF (Either b d) (Either c d) #
right :: SF b c -> SF (Either d b) (Either d c) #
(+++) :: SF b c -> SF b' c' -> SF (Either b b') (Either c c') #
(|||) :: SF b d -> SF c d -> SF (Either b c) d #
loop :: SF (b, d) (c, d) -> SF b c #
id :: forall (a :: k). SF a a #
(.) :: forall (b :: k) (c :: k) (a :: k). SF b c -> SF a b -> SF a c #
run :: SF a b -> [a] -> [b] Source #
unfold :: SF () a -> [a] Source #
nth :: Int -> SF () a -> a Source #
nth' :: Int -> (b, ((), b) -> (a, b)) -> a Source #