Data.Tup.Class

Contents

• the Tup class
• Misc
• Concatenation
• Conversion
• zipping (only using the Applicative structure)

Synopsis

• class (Functor f, Applicative f, Foldable f, Traversable f) => Tup f where
  • tupSize :: f a -> Int
  • tupToList :: f a -> [a]
  • tupFromList :: [a] -> f a
  • tupProxy :: f a -> Proxy a
  • tupUndef :: f a -> a
  • constantTup :: a -> f a
  • undefinedTup :: f a
• maybeTupFromList :: Tup f => [a] -> Maybe (f a)
• transposeTup :: (Tup f, Tup g) => f (g a) -> g (f a)
• maybeTupConcat :: (Tup f, Tup g, Tup h) => f a -> g a -> Maybe (h a)
• unsafeTupConcat :: (Tup f, Tup g, Tup h) => f a -> g a -> h a
• maybeConvertTup :: (Tup f, Tup g) => f a -> Maybe (g a)
• unsafeConvertTup :: (Tup f, Tup g) => f a -> g a
• zipTupWith :: Applicative f => (a -> b -> c) -> f a -> f b -> f c
• zipTupWith3 :: Applicative f => (a -> b -> c -> d) -> f a -> f b -> f c -> f d
• zipTupWith4 :: Applicative f => (a -> b -> c -> d -> e) -> f a -> f b -> f c -> f d -> f e
• zipTup :: Applicative f => f a -> f b -> f (a, b)
• zipTup3 :: Applicative f => f a -> f b -> f c -> f (a, b, c)
• zipTup4 :: Applicative f => f a -> f b -> f c -> f d -> f (a, b, c, d)

the Tup class

Misc

Concatenation

Conversion

zipping (only using the Applicative structure)