Data.MediaBus.Basics.Series

A series with a start value and consecutive next vaules.

Documentation

data Series a b

A value of a series is either the Start of that series or the Next value in a started series.

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)

Associated Types

type GetSeqNum (Series a b) :: *

type SetSeqNum (Series a b) s :: *

Methods

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

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

Associated Types

type GetTimestamp (Series a b) :: *

type SetTimestamp (Series a b) s :: *

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))

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.Basics.Series" "mediabus-0.3.2.1-5dJYyJReQmz6GqWaXLa130" 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)

_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

type Series' a = Series a a

A simple version of a series, where the Start value has the same type as the Next value.

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

A class of types with any kind start and next semantics, not necessarily provided by Series.

Minimal complete definition

seriesStart', seriesNext'

Methods

seriesStart' :: Prism' s a

A simple Prim to extract a start value

seriesNext' :: Prism' s b

A simple Prim to extract a next value

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

A type class for types that might have a start value.

Minimal complete definition

seriesStart

Associated Types

type GetSeriesStart s

type SetSeriesStart s t

Methods

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

A Prism for start values

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

A type class for types that might have a next value.

Minimal complete definition

seriesNext

Associated Types

type GetSeriesNext s

type SetSeriesNext s t

Methods

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

A Prism for the next values

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))