tup-functor-0.1: Homogeneous tuples

Safe HaskellSafe-Infered

Data.Tup.Lazy

Contents

Synopsis

data type declarations

data Tup1 a Source

Constructors

Tup1 a 

Instances

Functor Tup1 
Applicative Tup1 
Foldable Tup1 
Traversable Tup1 
Tup Tup1 
Eq a => Eq (Tup1 a) 
Fractional a => Fractional (Tup1 a) 
Num a => Num (Tup1 a) 
Ord a => Ord (Tup1 a) 
Read a => Read (Tup1 a) 
Show a => Show (Tup1 a) 
Monoid a => Monoid (Tup1 a) 
Storable a => Storable (Tup1 a) 

data Tup2 a Source

Constructors

Tup2 a a 

Instances

Functor Tup2 
Applicative Tup2 
Foldable Tup2 
Traversable Tup2 
Tup Tup2 
Eq a => Eq (Tup2 a) 
Fractional a => Fractional (Tup2 a) 
Num a => Num (Tup2 a) 
Ord a => Ord (Tup2 a) 
Read a => Read (Tup2 a) 
Show a => Show (Tup2 a) 
Monoid a => Monoid (Tup2 a) 
Storable a => Storable (Tup2 a) 

data Tup3 a Source

Constructors

Tup3 a a a 

Instances

Functor Tup3 
Applicative Tup3 
Foldable Tup3 
Traversable Tup3 
Tup Tup3 
Eq a => Eq (Tup3 a) 
Fractional a => Fractional (Tup3 a) 
Num a => Num (Tup3 a) 
Ord a => Ord (Tup3 a) 
Read a => Read (Tup3 a) 
Show a => Show (Tup3 a) 
Monoid a => Monoid (Tup3 a) 
Storable a => Storable (Tup3 a) 

data Tup4 a Source

Constructors

Tup4 a a a a 

Instances

Functor Tup4 
Applicative Tup4 
Foldable Tup4 
Traversable Tup4 
Tup Tup4 
Eq a => Eq (Tup4 a) 
Fractional a => Fractional (Tup4 a) 
Num a => Num (Tup4 a) 
Ord a => Ord (Tup4 a) 
Read a => Read (Tup4 a) 
Show a => Show (Tup4 a) 
Monoid a => Monoid (Tup4 a) 
Storable a => Storable (Tup4 a) 

data Tup5 a Source

Constructors

Tup5 a a a a a 

Instances

Functor Tup5 
Applicative Tup5 
Foldable Tup5 
Traversable Tup5 
Tup Tup5 
Eq a => Eq (Tup5 a) 
Fractional a => Fractional (Tup5 a) 
Num a => Num (Tup5 a) 
Ord a => Ord (Tup5 a) 
Read a => Read (Tup5 a) 
Show a => Show (Tup5 a) 
Monoid a => Monoid (Tup5 a) 
Storable a => Storable (Tup5 a) 

data Tup6 a Source

Constructors

Tup6 a a a a a a 

Instances

Functor Tup6 
Applicative Tup6 
Foldable Tup6 
Traversable Tup6 
Tup Tup6 
Eq a => Eq (Tup6 a) 
Fractional a => Fractional (Tup6 a) 
Num a => Num (Tup6 a) 
Ord a => Ord (Tup6 a) 
Read a => Read (Tup6 a) 
Show a => Show (Tup6 a) 
Monoid a => Monoid (Tup6 a) 
Storable a => Storable (Tup6 a) 

data Tup7 a Source

Constructors

Tup7 a a a a a a a 

Instances

Functor Tup7 
Applicative Tup7 
Foldable Tup7 
Traversable Tup7 
Tup Tup7 
Eq a => Eq (Tup7 a) 
Fractional a => Fractional (Tup7 a) 
Num a => Num (Tup7 a) 
Ord a => Ord (Tup7 a) 
Read a => Read (Tup7 a) 
Show a => Show (Tup7 a) 
Monoid a => Monoid (Tup7 a) 
Storable a => Storable (Tup7 a) 

data Tup8 a Source

Constructors

Tup8 a a a a a a a a 

Instances

Functor Tup8 
Applicative Tup8 
Foldable Tup8 
Traversable Tup8 
Tup Tup8 
Eq a => Eq (Tup8 a) 
Fractional a => Fractional (Tup8 a) 
Num a => Num (Tup8 a) 
Ord a => Ord (Tup8 a) 
Read a => Read (Tup8 a) 
Show a => Show (Tup8 a) 
Monoid a => Monoid (Tup8 a) 
Storable a => Storable (Tup8 a) 

data Tup9 a Source

Constructors

Tup9 a a a a a a a a a 

Instances

Functor Tup9 
Applicative Tup9 
Foldable Tup9 
Traversable Tup9 
Tup Tup9 
Eq a => Eq (Tup9 a) 
Fractional a => Fractional (Tup9 a) 
Num a => Num (Tup9 a) 
Ord a => Ord (Tup9 a) 
Read a => Read (Tup9 a) 
Show a => Show (Tup9 a) 
Monoid a => Monoid (Tup9 a) 
Storable a => Storable (Tup9 a) 

"tupping"

tupTup :: Applicative f => f a -> f a -> f (Tup2 a)Source

tupTup3 :: Applicative f => f a -> f a -> f a -> f (Tup3 a)Source

tupTup4 :: Applicative f => f a -> f a -> f a -> f a -> f (Tup4 a)Source

tupTup5 :: Applicative f => f a -> f a -> f a -> f a -> f a -> f (Tup5 a)Source

instances