Data.Seqn.Internal.Util

This is an internal module. You probably don't need to import this. Use Data.Seqn.Seq, Data.Seqn.MSeq, or Data.Seqn.PQueue instead.

The only reason to use this module is to use the constructs defined here with other internal modules.

Documentation

class Bifunctor p => Biapplicative p where

Methods

bipure :: a -> b -> p a b

biliftA2 :: (a -> b -> c) -> (d -> e -> f) -> p a d -> p b e -> p c f

Instances

Biapplicative S2

Defined in Data.Seqn.Internal.Util

Methods

bipure :: a -> b -> S2 a b

biliftA2 :: (a -> b -> c) -> (d -> e -> f) -> S2 a d -> S2 b e -> S2 c f

Biapplicative Tagged

Defined in Data.Seqn.Internal.Util

Methods

bipure :: a -> b -> Tagged a b

biliftA2 :: (a -> b -> c) -> (d -> e -> f) -> Tagged a d -> Tagged b e -> Tagged c f

Biapplicative (Const :: Type -> Type -> Type)

Defined in Data.Seqn.Internal.Util

Methods

bipure :: a -> b -> Const a b

biliftA2 :: (a -> b -> c) -> (d -> e -> f) -> Const a d -> Const b e -> Const c f

data S2 a b

Constructors

S2 !a !b

Instances

Bifunctor S2

Defined in Data.Seqn.Internal.Util

Methods

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

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

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

Biapplicative S2

Defined in Data.Seqn.Internal.Util

Methods

bipure :: a -> b -> S2 a b

biliftA2 :: (a -> b -> c) -> (d -> e -> f) -> S2 a d -> S2 b e -> S2 c f

Functor (S2 a)

Defined in Data.Seqn.Internal.Util

Methods

fmap :: (a0 -> b) -> S2 a a0 -> S2 a b

(<$) :: a0 -> S2 a b -> S2 a a0

data S3 a b c

Constructors

S3 !a !b !c

data SMaybe a

Constructors

SNothing

SJust !a

newtype Tagged a b

Constructors

Tagged

Fields

• unTagged :: b

Instances

Bifunctor Tagged

Defined in Data.Seqn.Internal.Util

Methods

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

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

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

Biapplicative Tagged

Defined in Data.Seqn.Internal.Util

Methods

bipure :: a -> b -> Tagged a b

biliftA2 :: (a -> b -> c) -> (d -> e -> f) -> Tagged a d -> Tagged b e -> Tagged c f

Functor (Tagged a)

Defined in Data.Seqn.Internal.Util

Methods

fmap :: (a0 -> b) -> Tagged a a0 -> Tagged a b

(<$) :: a0 -> Tagged a b -> Tagged a a0

newtype SStateT s m a

Constructors

SStateT

Fields

• runSStateT :: s -> m (S2 s a)

Instances

Monad m => Applicative (SStateT s m)

Defined in Data.Seqn.Internal.Util

Methods

pure :: a -> SStateT s m a

(<*>) :: SStateT s m (a -> b) -> SStateT s m a -> SStateT s m b

liftA2 :: (a -> b -> c) -> SStateT s m a -> SStateT s m b -> SStateT s m c

(*>) :: SStateT s m a -> SStateT s m b -> SStateT s m b

(<*) :: SStateT s m a -> SStateT s m b -> SStateT s m a

Functor m => Functor (SStateT s m)

Defined in Data.Seqn.Internal.Util

Methods

fmap :: (a -> b) -> SStateT s m a -> SStateT s m b

(<$) :: a -> SStateT s m b -> SStateT s m a

evalSStateT :: Functor m => SStateT s m a -> s -> m a

type SState s = SStateT s Identity

sState :: (s -> S2 s a) -> SState s a

evalSState :: SState s a -> s -> a

(#.) :: Coercible b c => (b -> c) -> (a -> b) -> a -> c infixr 9