Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Data.Functor.Of
Documentation
A left-strict pair; the base functor for streams of individual elements.
Constructors
!a :> b infixr 5 |
Instances
Bitraversable Of Source # |
Since: 0.2.4.0 |
Defined in Data.Functor.Of Methods bitraverse :: Applicative f => (a -> f c) -> (b -> f d) -> Of a b -> f ( Of c d) Source # |
|
Bifoldable Of Source # |
Since: 0.2.4.0 |
Bifunctor Of Source # | |
Eq2 Of Source # | |
Ord2 Of Source # | |
Defined in Data.Functor.Of |
|
Show2 Of Source # | |
Defined in Data.Functor.Of |
|
Monoid a => Monad ( Of a) Source # | |
Functor ( Of a) Source # | |
Monoid a => Applicative ( Of a) Source # | |
Foldable ( Of a) Source # | |
Defined in Data.Functor.Of Methods fold :: Monoid m => Of a m -> m Source # foldMap :: Monoid m => (a0 -> m) -> Of a a0 -> m Source # foldMap' :: Monoid m => (a0 -> m) -> Of a a0 -> m Source # foldr :: (a0 -> b -> b) -> b -> Of a a0 -> b Source # foldr' :: (a0 -> b -> b) -> b -> Of a a0 -> b Source # foldl :: (b -> a0 -> b) -> b -> Of a a0 -> b Source # foldl' :: (b -> a0 -> b) -> b -> Of a a0 -> b Source # foldr1 :: (a0 -> a0 -> a0) -> Of a a0 -> a0 Source # foldl1 :: (a0 -> a0 -> a0) -> Of a a0 -> a0 Source # toList :: Of a a0 -> [a0] Source # null :: Of a a0 -> Bool Source # length :: Of a a0 -> Int Source # elem :: Eq a0 => a0 -> Of a a0 -> Bool Source # maximum :: Ord a0 => Of a a0 -> a0 Source # minimum :: Ord a0 => Of a a0 -> a0 Source # |
|
Traversable ( Of a) Source # | |
Defined in Data.Functor.Of |
|
Eq a => Eq1 ( Of a) Source # | |
Ord a => Ord1 ( Of a) Source # | |
Defined in Data.Functor.Of |
|
Show a => Show1 ( Of a) Source # | |
Generic1 ( Of a :: Type -> Type ) Source # | |
( Eq a, Eq b) => Eq ( Of a b) Source # | |
( Data a, Data b) => Data ( Of a b) Source # | |
Defined in Data.Functor.Of Methods gfoldl :: ( forall d b0. Data d => c (d -> b0) -> d -> c b0) -> ( forall g. g -> c g) -> Of a b -> c ( Of a b) Source # gunfold :: ( forall b0 r. Data b0 => c (b0 -> r) -> c r) -> ( forall r. r -> c r) -> Constr -> c ( Of a b) Source # toConstr :: Of a b -> Constr Source # dataTypeOf :: Of a b -> DataType Source # dataCast1 :: Typeable t => ( forall d. Data d => c (t d)) -> Maybe (c ( Of a b)) Source # dataCast2 :: Typeable t => ( forall d e. ( Data d, Data e) => c (t d e)) -> Maybe (c ( Of a b)) Source # gmapT :: ( forall b0. Data b0 => b0 -> b0) -> Of a b -> Of a b Source # gmapQl :: (r -> r' -> r) -> r -> ( forall d. Data d => d -> r') -> Of a b -> r Source # gmapQr :: forall r r'. (r' -> r -> r) -> r -> ( forall d. Data d => d -> r') -> Of a b -> r Source # gmapQ :: ( forall d. Data d => d -> u) -> Of a b -> [u] Source # gmapQi :: Int -> ( forall d. Data d => d -> u) -> Of a b -> u Source # gmapM :: Monad m => ( forall d. Data d => d -> m d) -> Of a b -> m ( Of a b) Source # gmapMp :: MonadPlus m => ( forall d. Data d => d -> m d) -> Of a b -> m ( Of a b) Source # gmapMo :: MonadPlus m => ( forall d. Data d => d -> m d) -> Of a b -> m ( Of a b) Source # |
|
( Ord a, Ord b) => Ord ( Of a b) Source # | |
( Read a, Read b) => Read ( Of a b) Source # | |
( Show a, Show b) => Show ( Of a b) Source # | |
Generic ( Of a b) Source # | |
( Semigroup a, Semigroup b) => Semigroup ( Of a b) Source # | |
( Monoid a, Monoid b) => Monoid ( Of a b) Source # | |
type Rep1 ( Of a :: Type -> Type ) Source # | |
Defined in Data.Functor.Of
type
Rep1
(
Of
a ::
Type
->
Type
) =
D1
('
MetaData
"Of" "Data.Functor.Of" "streaming-0.2.3.1-3gWNnnaywYgIAjY6UdiTPf" '
False
) (
C1
('
MetaCons
":>" ('
InfixI
'
RightAssociative
5) '
False
) (
S1
('
MetaSel
('
Nothing
::
Maybe
Symbol
) '
NoSourceUnpackedness
'
SourceStrict
'
DecidedStrict
) (
Rec0
a)
:*:
S1
('
MetaSel
('
Nothing
::
Maybe
Symbol
) '
NoSourceUnpackedness
'
NoSourceStrictness
'
DecidedLazy
)
Par1
))
|
|
type Rep ( Of a b) Source # | |
Defined in Data.Functor.Of
type
Rep
(
Of
a b) =
D1
('
MetaData
"Of" "Data.Functor.Of" "streaming-0.2.3.1-3gWNnnaywYgIAjY6UdiTPf" '
False
) (
C1
('
MetaCons
":>" ('
InfixI
'
RightAssociative
5) '
False
) (
S1
('
MetaSel
('
Nothing
::
Maybe
Symbol
) '
NoSourceUnpackedness
'
SourceStrict
'
DecidedStrict
) (
Rec0
a)
:*:
S1
('
MetaSel
('
Nothing
::
Maybe
Symbol
) '
NoSourceUnpackedness
'
NoSourceStrictness
'
DecidedLazy
) (
Rec0
b)))
|