Data.MediaBus.Series

Documentation

data Series a b

Constructors

Next !b

Start !a

Instances

Bifunctor Series

Methods

bimap :: (a -> b) -> (c -> d) -> Series a c -> Series b d

first :: (a -> b) -> Series a c -> Series b c

second :: (b -> c) -> Series a b -> Series a c

Functor (Series a)

Methods

fmap :: (a -> b) -> Series a a -> Series a b

(<$) :: a -> Series a b -> Series a a

(Eq a, Eq b) => Eq (Series a b)

Methods

(==) :: Series a b -> Series a b -> Bool

(/=) :: Series a b -> Series a b -> Bool

(Ord a, Ord b) => Ord (Series a b)

Methods

compare :: Series a b -> Series a b -> Ordering

(<) :: Series a b -> Series a b -> Bool

(<=) :: Series a b -> Series a b -> Bool

(>) :: Series a b -> Series a b -> Bool

(>=) :: Series a b -> Series a b -> Bool

max :: Series a b -> Series a b -> Series a b

min :: Series a b -> Series a b -> Series a b

(Show a, Show b) => Show (Series a b)

Methods

showsPrec :: Int -> Series a b -> ShowS

show :: Series a b -> String

showList :: [Series a b] -> ShowS

Generic (Series a b)

Associated Types

type Rep (Series a b) :: * -> *

Methods

from :: Series a b -> Rep (Series a b) x

to :: Rep (Series a b) x -> Series a b

(Arbitrary a, Arbitrary b) => Arbitrary (Series a b)

Methods

arbitrary :: Gen (Series a b)

shrink :: Series a b -> [Series a b]

(NFData a, NFData b) => NFData (Series a b)

Methods

rnf :: Series a b -> ()

AsSeriesNext (Series a b)

Associated Types

type GetSeriesNext (Series a b) :: *

type SetSeriesNext (Series a b) t :: *

Methods

seriesNext :: (Choice p, Applicative f) => p (GetSeriesNext (Series a b)) (f n) -> p (Series a b) (f (SetSeriesNext (Series a b) n))

AsSeriesStart (Series a b)

Associated Types

type GetSeriesStart (Series a b) :: *

type SetSeriesStart (Series a b) t :: *

Methods

seriesStart :: (Choice p, Applicative f) => p (GetSeriesStart (Series a b)) (f n) -> p (Series a b) (f (SetSeriesStart (Series a b) n))

(HasSeqNum a, HasSeqNum b, (~) * (GetSeqNum a) (GetSeqNum b)) => HasSeqNum (Series a b)

Methods

seqNum :: Functor f => (GetSeqNum (Series a b) -> f s) -> Series a b -> f (SetSeqNum (Series a b) s)

(HasSeqNumT a, HasSeqNumT b, (~) * (GetSeqNum a) (GetSeqNum b)) => HasSeqNumT (Series a b)

Associated Types

type GetSeqNum (Series a b) :: *

type SetSeqNum (Series a b) s :: *

(HasTimestamp a, HasTimestamp b, (~) * (GetTimestamp a) (GetTimestamp b)) => HasTimestamp (Series a b)

Methods

timestamp :: Functor f => (GetTimestamp (Series a b) -> f s) -> Series a b -> f (SetTimestamp (Series a b) s)

timestamp' :: Lens' (Series a b) (GetTimestamp (Series a b))

(HasTimestampT a, HasTimestampT b, (~) * (GetTimestamp a) (GetTimestamp b)) => HasTimestampT (Series a b)

Associated Types

type GetTimestamp (Series a b) :: *

type SetTimestamp (Series a b) s :: *

AsSeries (Series a b) a b

Methods

seriesStart' :: Prism' (Series a b) a

seriesNext' :: Prism' (Series a b) b

type Rep (Series a b)

type Rep (Series a b) = D1 (MetaData "Series" "Data.MediaBus.Series" "mediabus-0.2.0.2-1PCMQzU710r5ePKjPvdgzP" False) ((:+:) (C1 (MetaCons "Next" PrefixI True) (S1 (MetaSel (Just Symbol "_seriesValue") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 b))) (C1 (MetaCons "Start" PrefixI True) (S1 (MetaSel (Just Symbol "_seriesStartValue") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 a))))

type GetSeriesNext (Series a b)

type GetSeriesNext (Series a b) = b

type GetSeriesStart (Series a b)

type GetSeriesStart (Series a b) = a

type GetSeqNum (Series a b)

type GetSeqNum (Series a b) = GetSeqNum a

type GetTimestamp (Series a b)

type GetTimestamp (Series a b) = GetTimestamp a

type SetSeriesNext (Series a b) n

type SetSeriesNext (Series a b) n = Series a n

type SetSeriesStart (Series a b) n

type SetSeriesStart (Series a b) n = Series n b

type SetSeqNum (Series a b) t

type SetSeqNum (Series a b) t = Series (SetSeqNum a t) (SetSeqNum b t)

type SetTimestamp (Series a b) t

type SetTimestamp (Series a b) t = Series (SetTimestamp a t) (SetTimestamp b t)

type Series' a = Series a a

_Next :: forall a b b. Prism (Series a b) (Series a b) b b

_Start :: forall a b a. Prism (Series a b) (Series a b) a a

class AsSeries s a b | s -> a, s -> b where

Minimal complete definition

seriesStart', seriesNext'

Methods

seriesStart' :: Prism' s a

seriesNext' :: Prism' s b

Instances

AsSeries (Either a b) a b

Methods

seriesStart' :: Prism' (Either a b) a

seriesNext' :: Prism' (Either a b) b

AsSeries (Series a b) a b

Methods

seriesStart' :: Prism' (Series a b) a

seriesNext' :: Prism' (Series a b) b

class SetSeriesStart s (GetSeriesStart s) ~ s => AsSeriesStart s where

Minimal complete definition

seriesStart

Associated Types

type GetSeriesStart s

type SetSeriesStart s t

Methods

seriesStart :: Prism s (SetSeriesStart s n) (GetSeriesStart s) n

Instances

AsSeriesStart (Either a b)

Associated Types

type GetSeriesStart (Either a b) :: *

type SetSeriesStart (Either a b) t :: *

Methods

seriesStart :: (Choice p, Applicative f) => p (GetSeriesStart (Either a b)) (f n) -> p (Either a b) (f (SetSeriesStart (Either a b) n))

AsSeriesStart (Series a b)

Associated Types

type GetSeriesStart (Series a b) :: *

type SetSeriesStart (Series a b) t :: *

Methods

seriesStart :: (Choice p, Applicative f) => p (GetSeriesStart (Series a b)) (f n) -> p (Series a b) (f (SetSeriesStart (Series a b) n))

class SetSeriesNext s (GetSeriesNext s) ~ s => AsSeriesNext s where

Minimal complete definition

seriesNext

Associated Types

type GetSeriesNext s

type SetSeriesNext s t

Methods

seriesNext :: Prism s (SetSeriesNext s n) (GetSeriesNext s) n

Instances

AsSeriesNext (Either a b)

Associated Types

type GetSeriesNext (Either a b) :: *

type SetSeriesNext (Either a b) t :: *

Methods

seriesNext :: (Choice p, Applicative f) => p (GetSeriesNext (Either a b)) (f n) -> p (Either a b) (f (SetSeriesNext (Either a b) n))

AsSeriesNext (Series a b)

Associated Types

type GetSeriesNext (Series a b) :: *

type SetSeriesNext (Series a b) t :: *

Methods

seriesNext :: (Choice p, Applicative f) => p (GetSeriesNext (Series a b)) (f n) -> p (Series a b) (f (SetSeriesNext (Series a b) n))

newtype StartingFrom a

Constructors

MkStartingFrom a

Instances

Eq a => Eq (StartingFrom a)

Methods

(==) :: StartingFrom a -> StartingFrom a -> Bool

(/=) :: StartingFrom a -> StartingFrom a -> Bool

Ord a => Ord (StartingFrom a)

Methods

compare :: StartingFrom a -> StartingFrom a -> Ordering

(<) :: StartingFrom a -> StartingFrom a -> Bool

(<=) :: StartingFrom a -> StartingFrom a -> Bool

(>) :: StartingFrom a -> StartingFrom a -> Bool

(>=) :: StartingFrom a -> StartingFrom a -> Bool

max :: StartingFrom a -> StartingFrom a -> StartingFrom a

min :: StartingFrom a -> StartingFrom a -> StartingFrom a

Show a => Show (StartingFrom a)

Methods

showsPrec :: Int -> StartingFrom a -> ShowS

show :: StartingFrom a -> String

showList :: [StartingFrom a] -> ShowS

Arbitrary a => Arbitrary (StartingFrom a)

Methods

arbitrary :: Gen (StartingFrom a)

shrink :: StartingFrom a -> [StartingFrom a]

startingFromValue :: forall a a. Iso (StartingFrom a) (StartingFrom a) a a

toNextsC' :: Monad m => Conduit (Series a b) m b

toStartsC' :: Monad m => Conduit (Series a b) m a

monotoneSeriesC :: Monad m => m a -> (i -> m b) -> Conduit i m (Series a b)