Data.SF.Core

Contents

Description

Orphan instances

Arrow SF Source #
Methods 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') #
ArrowChoice SF Source #
Methods 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 #
ArrowApply SF Source #
Methods app :: SF (SF b c, b) c #
ArrowLoop SF Source #
Methods loop :: SF (b, d) (c, d) -> SF b c #
Category * SF Source #
Methods id :: cat a a # (.) :: cat b c -> cat a b -> cat a c #