-- Hoogle documentation, generated by Haddock
-- See Hoogle, http://www.haskell.org/hoogle/
-- | List-like operations for tuples
--
-- List-like operations for tuples
@package list-tuple
@version 0.1.2.0
-- | List-like operations for tuples.
--
-- This is a bit tricky of classes because Haskell does not have
-- 1-tuples. If you use Only, OneTuple or Identity
-- as 1-tuples, import Data.Tuple.List.Only,
-- Data.Tuple.List.OneTuple or Data.Tuple.List.Identity
-- respectively and classes without a prime (dash) symbol, for examle
-- HasHead', are useful, you can also use classes with a prime
-- (dash) symbol. If you use Single class for polymorphic
-- 1-tuples, you should use classes with a prime (dash) symbol.
module Data.Tuple.List
type family Cons a u :: Type
type family Head t :: Type
type family Last t :: Type
type family Tail t :: Type
type family Init t :: Type
type family Length t :: Nat
class HasHead' t a
head' :: HasHead' t a => t -> a
class HasLast' t z
last' :: HasLast' t z => t -> z
class HasTail' t u
tail' :: HasTail' t u => t -> u
class HasInit' t s
init' :: HasInit' t s => t -> s
class HasCons' t a u
cons' :: HasCons' t a u => a -> u -> t
class HasUncons' t a u
uncons' :: HasUncons' t a u => t -> (a, u)
class HasHead t
head :: HasHead t => t -> Head t
head :: (HasHead t, HasHead' t (Head t)) => t -> Head t
class HasLast t
last :: HasLast t => t -> Last t
last :: (HasLast t, HasLast' t (Last t)) => t -> Last t
class HasTail t
tail :: HasTail t => t -> Tail t
tail :: (HasTail t, HasTail' t (Tail t)) => t -> Tail t
class HasInit t
init :: HasInit t => t -> Init t
init :: (HasInit t, HasInit' t (Init t)) => t -> Init t
class HasCons a u
cons :: HasCons a u => a -> u -> Cons a u
cons :: (HasCons a u, HasCons' (Cons a u) a u) => a -> u -> Cons a u
class HasUncons t
uncons :: HasUncons t => t -> (Head t, Tail t)
uncons :: (HasUncons t, HasUncons' t (Head t) (Tail t)) => t -> (Head t, Tail t)
class HasLength t
length :: (HasLength t, Integral n) => t -> n
length :: (HasLength t, Integral n, KnownNat (Length t)) => t -> n
pattern Null :: Length t ~ 0 => t
pattern Cons' :: (HasCons' t a u, HasUncons' t a u) => a -> u -> t
pattern Cons :: (HasCons a u, HasUncons t, t ~ Cons a u, a ~ Head t, u ~ Tail t) => a -> u -> t
type family Reverse t = (r :: Type) | r -> t
class HasReverse t
reverse :: HasReverse t => t -> Reverse t
reverse :: (HasReverse t, HasReverse' t (Reverse t)) => t -> Reverse t
class HasReverse' t r
reverse' :: HasReverse' t r => t -> r
type family t !! (n :: Nat) :: Type
class HasAt' t (n :: Nat) e
(!!!) :: HasAt' t n e => t -> proxy n -> e
at' :: HasAt' t n e => t -> e
class HasAt t (n :: Nat)
(!!) :: HasAt t n => t -> proxy n -> t !! n
(!!) :: (HasAt t n, HasAt' t n (t !! n)) => t -> proxy n -> t !! n
at :: HasAt t n => t -> t !! n
instance Data.Tuple.List.HasAt (a, b) 0
instance Data.Tuple.List.HasAt (a, b) 1
instance Data.Tuple.List.HasAt (a, b, c) 0
instance Data.Tuple.List.HasAt (a, b, c) 1
instance Data.Tuple.List.HasAt (a, b, c) 2
instance Data.Tuple.List.HasAt (a, b, c, d) 0
instance Data.Tuple.List.HasAt (a, b, c, d) 1
instance Data.Tuple.List.HasAt (a, b, c, d) 2
instance Data.Tuple.List.HasAt (a, b, c, d) 3
instance Data.Tuple.List.HasAt (a, b, c, d, e) 0
instance Data.Tuple.List.HasAt (a, b, c, d, e) 1
instance Data.Tuple.List.HasAt (a, b, c, d, e) 2
instance Data.Tuple.List.HasAt (a, b, c, d, e) 3
instance Data.Tuple.List.HasAt (a, b, c, d, e) 4
instance Data.Tuple.List.HasAt (a, b, c, d, e, f) 0
instance Data.Tuple.List.HasAt (a, b, c, d, e, f) 1
instance Data.Tuple.List.HasAt (a, b, c, d, e, f) 2
instance Data.Tuple.List.HasAt (a, b, c, d, e, f) 3
instance Data.Tuple.List.HasAt (a, b, c, d, e, f) 4
instance Data.Tuple.List.HasAt (a, b, c, d, e, f) 5
instance Data.Tuple.List.HasAt (a, b, c, d, e, f, g) 0
instance Data.Tuple.List.HasAt (a, b, c, d, e, f, g) 1
instance Data.Tuple.List.HasAt (a, b, c, d, e, f, g) 2
instance Data.Tuple.List.HasAt (a, b, c, d, e, f, g) 3
instance Data.Tuple.List.HasAt (a, b, c, d, e, f, g) 4
instance Data.Tuple.List.HasAt (a, b, c, d, e, f, g) 5
instance Data.Tuple.List.HasAt (a, b, c, d, e, f, g) 6
instance Data.Tuple.List.HasAt (a, b, c, d, e, f, g, h) 0
instance Data.Tuple.List.HasAt (a, b, c, d, e, f, g, h) 1
instance Data.Tuple.List.HasAt (a, b, c, d, e, f, g, h) 2
instance Data.Tuple.List.HasAt (a, b, c, d, e, f, g, h) 3
instance Data.Tuple.List.HasAt (a, b, c, d, e, f, g, h) 4
instance Data.Tuple.List.HasAt (a, b, c, d, e, f, g, h) 5
instance Data.Tuple.List.HasAt (a, b, c, d, e, f, g, h) 6
instance Data.Tuple.List.HasAt (a, b, c, d, e, f, g, h) 7
instance Data.Tuple.List.HasAt (a, b, c, d, e, f, g, h, i) 0
instance Data.Tuple.List.HasAt (a, b, c, d, e, f, g, h, i) 1
instance Data.Tuple.List.HasAt (a, b, c, d, e, f, g, h, i) 2
instance Data.Tuple.List.HasAt (a, b, c, d, e, f, g, h, i) 3
instance Data.Tuple.List.HasAt (a, b, c, d, e, f, g, h, i) 4
instance Data.Tuple.List.HasAt (a, b, c, d, e, f, g, h, i) 5
instance Data.Tuple.List.HasAt (a, b, c, d, e, f, g, h, i) 6
instance Data.Tuple.List.HasAt (a, b, c, d, e, f, g, h, i) 7
instance Data.Tuple.List.HasAt (a, b, c, d, e, f, g, h, i) 8
instance Data.Tuple.List.HasAt (a, b, c, d, e, f, g, h, i, j) 0
instance Data.Tuple.List.HasAt (a, b, c, d, e, f, g, h, i, j) 1
instance Data.Tuple.List.HasAt (a, b, c, d, e, f, g, h, i, j) 2
instance Data.Tuple.List.HasAt (a, b, c, d, e, f, g, h, i, j) 3
instance Data.Tuple.List.HasAt (a, b, c, d, e, f, g, h, i, j) 4
instance Data.Tuple.List.HasAt (a, b, c, d, e, f, g, h, i, j) 5
instance Data.Tuple.List.HasAt (a, b, c, d, e, f, g, h, i, j) 6
instance Data.Tuple.List.HasAt (a, b, c, d, e, f, g, h, i, j) 7
instance Data.Tuple.List.HasAt (a, b, c, d, e, f, g, h, i, j) 8
instance Data.Tuple.List.HasAt (a, b, c, d, e, f, g, h, i, j) 9
instance Data.Tuple.List.HasAt (a, b, c, d, e, f, g, h, i, j, k) 0
instance Data.Tuple.List.HasAt (a, b, c, d, e, f, g, h, i, j, k) 1
instance Data.Tuple.List.HasAt (a, b, c, d, e, f, g, h, i, j, k) 2
instance Data.Tuple.List.HasAt (a, b, c, d, e, f, g, h, i, j, k) 3
instance Data.Tuple.List.HasAt (a, b, c, d, e, f, g, h, i, j, k) 4
instance Data.Tuple.List.HasAt (a, b, c, d, e, f, g, h, i, j, k) 5
instance Data.Tuple.List.HasAt (a, b, c, d, e, f, g, h, i, j, k) 6
instance Data.Tuple.List.HasAt (a, b, c, d, e, f, g, h, i, j, k) 7
instance Data.Tuple.List.HasAt (a, b, c, d, e, f, g, h, i, j, k) 8
instance Data.Tuple.List.HasAt (a, b, c, d, e, f, g, h, i, j, k) 9
instance Data.Tuple.List.HasAt (a, b, c, d, e, f, g, h, i, j, k) 10
instance Data.Tuple.List.HasAt (a, b, c, d, e, f, g, h, i, j, k, l) 0
instance Data.Tuple.List.HasAt (a, b, c, d, e, f, g, h, i, j, k, l) 1
instance Data.Tuple.List.HasAt (a, b, c, d, e, f, g, h, i, j, k, l) 2
instance Data.Tuple.List.HasAt (a, b, c, d, e, f, g, h, i, j, k, l) 3
instance Data.Tuple.List.HasAt (a, b, c, d, e, f, g, h, i, j, k, l) 4
instance Data.Tuple.List.HasAt (a, b, c, d, e, f, g, h, i, j, k, l) 5
instance Data.Tuple.List.HasAt (a, b, c, d, e, f, g, h, i, j, k, l) 6
instance Data.Tuple.List.HasAt (a, b, c, d, e, f, g, h, i, j, k, l) 7
instance Data.Tuple.List.HasAt (a, b, c, d, e, f, g, h, i, j, k, l) 8
instance Data.Tuple.List.HasAt (a, b, c, d, e, f, g, h, i, j, k, l) 9
instance Data.Tuple.List.HasAt (a, b, c, d, e, f, g, h, i, j, k, l) 10
instance Data.Tuple.List.HasAt (a, b, c, d, e, f, g, h, i, j, k, l) 11
instance Data.Tuple.List.HasAt (a, b, c, d, e, f, g, h, i, j, k, l, m) 0
instance Data.Tuple.List.HasAt (a, b, c, d, e, f, g, h, i, j, k, l, m) 1
instance Data.Tuple.List.HasAt (a, b, c, d, e, f, g, h, i, j, k, l, m) 2
instance Data.Tuple.List.HasAt (a, b, c, d, e, f, g, h, i, j, k, l, m) 3
instance Data.Tuple.List.HasAt (a, b, c, d, e, f, g, h, i, j, k, l, m) 4
instance Data.Tuple.List.HasAt (a, b, c, d, e, f, g, h, i, j, k, l, m) 5
instance Data.Tuple.List.HasAt (a, b, c, d, e, f, g, h, i, j, k, l, m) 6
instance Data.Tuple.List.HasAt (a, b, c, d, e, f, g, h, i, j, k, l, m) 7
instance Data.Tuple.List.HasAt (a, b, c, d, e, f, g, h, i, j, k, l, m) 8
instance Data.Tuple.List.HasAt (a, b, c, d, e, f, g, h, i, j, k, l, m) 9
instance Data.Tuple.List.HasAt (a, b, c, d, e, f, g, h, i, j, k, l, m) 10
instance Data.Tuple.List.HasAt (a, b, c, d, e, f, g, h, i, j, k, l, m) 11
instance Data.Tuple.List.HasAt (a, b, c, d, e, f, g, h, i, j, k, l, m) 12
instance Data.Tuple.List.HasAt (a, b, c, d, e, f, g, h, i, j, k, l, m, n) 0
instance Data.Tuple.List.HasAt (a, b, c, d, e, f, g, h, i, j, k, l, m, n) 1
instance Data.Tuple.List.HasAt (a, b, c, d, e, f, g, h, i, j, k, l, m, n) 2
instance Data.Tuple.List.HasAt (a, b, c, d, e, f, g, h, i, j, k, l, m, n) 3
instance Data.Tuple.List.HasAt (a, b, c, d, e, f, g, h, i, j, k, l, m, n) 4
instance Data.Tuple.List.HasAt (a, b, c, d, e, f, g, h, i, j, k, l, m, n) 5
instance Data.Tuple.List.HasAt (a, b, c, d, e, f, g, h, i, j, k, l, m, n) 6
instance Data.Tuple.List.HasAt (a, b, c, d, e, f, g, h, i, j, k, l, m, n) 7
instance Data.Tuple.List.HasAt (a, b, c, d, e, f, g, h, i, j, k, l, m, n) 8
instance Data.Tuple.List.HasAt (a, b, c, d, e, f, g, h, i, j, k, l, m, n) 9
instance Data.Tuple.List.HasAt (a, b, c, d, e, f, g, h, i, j, k, l, m, n) 10
instance Data.Tuple.List.HasAt (a, b, c, d, e, f, g, h, i, j, k, l, m, n) 11
instance Data.Tuple.List.HasAt (a, b, c, d, e, f, g, h, i, j, k, l, m, n) 12
instance Data.Tuple.List.HasAt (a, b, c, d, e, f, g, h, i, j, k, l, m, n) 13
instance Data.Tuple.List.HasAt (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o) 0
instance Data.Tuple.List.HasAt (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o) 1
instance Data.Tuple.List.HasAt (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o) 2
instance Data.Tuple.List.HasAt (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o) 3
instance Data.Tuple.List.HasAt (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o) 4
instance Data.Tuple.List.HasAt (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o) 5
instance Data.Tuple.List.HasAt (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o) 6
instance Data.Tuple.List.HasAt (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o) 7
instance Data.Tuple.List.HasAt (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o) 8
instance Data.Tuple.List.HasAt (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o) 9
instance Data.Tuple.List.HasAt (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o) 10
instance Data.Tuple.List.HasAt (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o) 11
instance Data.Tuple.List.HasAt (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o) 12
instance Data.Tuple.List.HasAt (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o) 13
instance Data.Tuple.List.HasAt (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o) 14
instance (Data.Tuple.Single.Single c, a Data.Type.Equality.~ b) => Data.Tuple.List.HasAt' (c a) 0 b
instance Data.Tuple.List.HasAt' (a, b) 0 a
instance Data.Tuple.List.HasAt' (a, b) 1 b
instance Data.Tuple.List.HasAt' (a, b, c) 0 a
instance Data.Tuple.List.HasAt' (a, b, c) 1 b
instance Data.Tuple.List.HasAt' (a, b, c) 2 c
instance Data.Tuple.List.HasAt' (a, b, c, d) 0 a
instance Data.Tuple.List.HasAt' (a, b, c, d) 1 b
instance Data.Tuple.List.HasAt' (a, b, c, d) 2 c
instance Data.Tuple.List.HasAt' (a, b, c, d) 3 d
instance Data.Tuple.List.HasAt' (a, b, c, d, e) 0 a
instance Data.Tuple.List.HasAt' (a, b, c, d, e) 1 b
instance Data.Tuple.List.HasAt' (a, b, c, d, e) 2 c
instance Data.Tuple.List.HasAt' (a, b, c, d, e) 3 d
instance Data.Tuple.List.HasAt' (a, b, c, d, e) 4 e
instance Data.Tuple.List.HasAt' (a, b, c, d, e, f) 0 a
instance Data.Tuple.List.HasAt' (a, b, c, d, e, f) 1 b
instance Data.Tuple.List.HasAt' (a, b, c, d, e, f) 2 c
instance Data.Tuple.List.HasAt' (a, b, c, d, e, f) 3 d
instance Data.Tuple.List.HasAt' (a, b, c, d, e, f) 4 e
instance Data.Tuple.List.HasAt' (a, b, c, d, e, f) 5 f
instance Data.Tuple.List.HasAt' (a, b, c, d, e, f, g) 0 a
instance Data.Tuple.List.HasAt' (a, b, c, d, e, f, g) 1 b
instance Data.Tuple.List.HasAt' (a, b, c, d, e, f, g) 2 c
instance Data.Tuple.List.HasAt' (a, b, c, d, e, f, g) 3 d
instance Data.Tuple.List.HasAt' (a, b, c, d, e, f, g) 4 e
instance Data.Tuple.List.HasAt' (a, b, c, d, e, f, g) 5 f
instance Data.Tuple.List.HasAt' (a, b, c, d, e, f, g) 6 g
instance Data.Tuple.List.HasAt' (a, b, c, d, e, f, g, h) 0 a
instance Data.Tuple.List.HasAt' (a, b, c, d, e, f, g, h) 1 b
instance Data.Tuple.List.HasAt' (a, b, c, d, e, f, g, h) 2 c
instance Data.Tuple.List.HasAt' (a, b, c, d, e, f, g, h) 3 d
instance Data.Tuple.List.HasAt' (a, b, c, d, e, f, g, h) 4 e
instance Data.Tuple.List.HasAt' (a, b, c, d, e, f, g, h) 5 f
instance Data.Tuple.List.HasAt' (a, b, c, d, e, f, g, h) 6 g
instance Data.Tuple.List.HasAt' (a, b, c, d, e, f, g, h) 7 h
instance Data.Tuple.List.HasAt' (a, b, c, d, e, f, g, h, i) 0 a
instance Data.Tuple.List.HasAt' (a, b, c, d, e, f, g, h, i) 1 b
instance Data.Tuple.List.HasAt' (a, b, c, d, e, f, g, h, i) 2 c
instance Data.Tuple.List.HasAt' (a, b, c, d, e, f, g, h, i) 3 d
instance Data.Tuple.List.HasAt' (a, b, c, d, e, f, g, h, i) 4 e
instance Data.Tuple.List.HasAt' (a, b, c, d, e, f, g, h, i) 5 f
instance Data.Tuple.List.HasAt' (a, b, c, d, e, f, g, h, i) 6 g
instance Data.Tuple.List.HasAt' (a, b, c, d, e, f, g, h, i) 7 h
instance Data.Tuple.List.HasAt' (a, b, c, d, e, f, g, h, i) 8 i
instance Data.Tuple.List.HasAt' (a, b, c, d, e, f, g, h, i, j) 0 a
instance Data.Tuple.List.HasAt' (a, b, c, d, e, f, g, h, i, j) 1 b
instance Data.Tuple.List.HasAt' (a, b, c, d, e, f, g, h, i, j) 2 c
instance Data.Tuple.List.HasAt' (a, b, c, d, e, f, g, h, i, j) 3 d
instance Data.Tuple.List.HasAt' (a, b, c, d, e, f, g, h, i, j) 4 e
instance Data.Tuple.List.HasAt' (a, b, c, d, e, f, g, h, i, j) 5 f
instance Data.Tuple.List.HasAt' (a, b, c, d, e, f, g, h, i, j) 6 g
instance Data.Tuple.List.HasAt' (a, b, c, d, e, f, g, h, i, j) 7 h
instance Data.Tuple.List.HasAt' (a, b, c, d, e, f, g, h, i, j) 8 i
instance Data.Tuple.List.HasAt' (a, b, c, d, e, f, g, h, i, j) 9 j
instance Data.Tuple.List.HasAt' (a, b, c, d, e, f, g, h, i, j, k) 0 a
instance Data.Tuple.List.HasAt' (a, b, c, d, e, f, g, h, i, j, k) 1 b
instance Data.Tuple.List.HasAt' (a, b, c, d, e, f, g, h, i, j, k) 2 c
instance Data.Tuple.List.HasAt' (a, b, c, d, e, f, g, h, i, j, k) 3 d
instance Data.Tuple.List.HasAt' (a, b, c, d, e, f, g, h, i, j, k) 4 e
instance Data.Tuple.List.HasAt' (a, b, c, d, e, f, g, h, i, j, k) 5 f
instance Data.Tuple.List.HasAt' (a, b, c, d, e, f, g, h, i, j, k) 6 g
instance Data.Tuple.List.HasAt' (a, b, c, d, e, f, g, h, i, j, k) 7 h
instance Data.Tuple.List.HasAt' (a, b, c, d, e, f, g, h, i, j, k) 8 i
instance Data.Tuple.List.HasAt' (a, b, c, d, e, f, g, h, i, j, k) 9 j
instance Data.Tuple.List.HasAt' (a, b, c, d, e, f, g, h, i, j, k) 10 k
instance Data.Tuple.List.HasAt' (a, b, c, d, e, f, g, h, i, j, k, l) 0 a
instance Data.Tuple.List.HasAt' (a, b, c, d, e, f, g, h, i, j, k, l) 1 b
instance Data.Tuple.List.HasAt' (a, b, c, d, e, f, g, h, i, j, k, l) 2 c
instance Data.Tuple.List.HasAt' (a, b, c, d, e, f, g, h, i, j, k, l) 3 d
instance Data.Tuple.List.HasAt' (a, b, c, d, e, f, g, h, i, j, k, l) 4 e
instance Data.Tuple.List.HasAt' (a, b, c, d, e, f, g, h, i, j, k, l) 5 f
instance Data.Tuple.List.HasAt' (a, b, c, d, e, f, g, h, i, j, k, l) 6 g
instance Data.Tuple.List.HasAt' (a, b, c, d, e, f, g, h, i, j, k, l) 7 h
instance Data.Tuple.List.HasAt' (a, b, c, d, e, f, g, h, i, j, k, l) 8 i
instance Data.Tuple.List.HasAt' (a, b, c, d, e, f, g, h, i, j, k, l) 9 j
instance Data.Tuple.List.HasAt' (a, b, c, d, e, f, g, h, i, j, k, l) 10 k
instance Data.Tuple.List.HasAt' (a, b, c, d, e, f, g, h, i, j, k, l) 11 l
instance Data.Tuple.List.HasAt' (a, b, c, d, e, f, g, h, i, j, k, l, m) 0 a
instance Data.Tuple.List.HasAt' (a, b, c, d, e, f, g, h, i, j, k, l, m) 1 b
instance Data.Tuple.List.HasAt' (a, b, c, d, e, f, g, h, i, j, k, l, m) 2 c
instance Data.Tuple.List.HasAt' (a, b, c, d, e, f, g, h, i, j, k, l, m) 3 d
instance Data.Tuple.List.HasAt' (a, b, c, d, e, f, g, h, i, j, k, l, m) 4 e
instance Data.Tuple.List.HasAt' (a, b, c, d, e, f, g, h, i, j, k, l, m) 5 f
instance Data.Tuple.List.HasAt' (a, b, c, d, e, f, g, h, i, j, k, l, m) 6 g
instance Data.Tuple.List.HasAt' (a, b, c, d, e, f, g, h, i, j, k, l, m) 7 h
instance Data.Tuple.List.HasAt' (a, b, c, d, e, f, g, h, i, j, k, l, m) 8 i
instance Data.Tuple.List.HasAt' (a, b, c, d, e, f, g, h, i, j, k, l, m) 9 j
instance Data.Tuple.List.HasAt' (a, b, c, d, e, f, g, h, i, j, k, l, m) 10 k
instance Data.Tuple.List.HasAt' (a, b, c, d, e, f, g, h, i, j, k, l, m) 11 l
instance Data.Tuple.List.HasAt' (a, b, c, d, e, f, g, h, i, j, k, l, m) 12 m
instance Data.Tuple.List.HasAt' (a, b, c, d, e, f, g, h, i, j, k, l, m, n) 0 a
instance Data.Tuple.List.HasAt' (a, b, c, d, e, f, g, h, i, j, k, l, m, n) 1 b
instance Data.Tuple.List.HasAt' (a, b, c, d, e, f, g, h, i, j, k, l, m, n) 2 c
instance Data.Tuple.List.HasAt' (a, b, c, d, e, f, g, h, i, j, k, l, m, n) 3 d
instance Data.Tuple.List.HasAt' (a, b, c, d, e, f, g, h, i, j, k, l, m, n) 4 e
instance Data.Tuple.List.HasAt' (a, b, c, d, e, f, g, h, i, j, k, l, m, n) 5 f
instance Data.Tuple.List.HasAt' (a, b, c, d, e, f, g, h, i, j, k, l, m, n) 6 g
instance Data.Tuple.List.HasAt' (a, b, c, d, e, f, g, h, i, j, k, l, m, n) 7 h
instance Data.Tuple.List.HasAt' (a, b, c, d, e, f, g, h, i, j, k, l, m, n) 8 i
instance Data.Tuple.List.HasAt' (a, b, c, d, e, f, g, h, i, j, k, l, m, n) 9 j
instance Data.Tuple.List.HasAt' (a, b, c, d, e, f, g, h, i, j, k, l, m, n) 10 k
instance Data.Tuple.List.HasAt' (a, b, c, d, e, f, g, h, i, j, k, l, m, n) 11 l
instance Data.Tuple.List.HasAt' (a, b, c, d, e, f, g, h, i, j, k, l, m, n) 12 m
instance Data.Tuple.List.HasAt' (a, b, c, d, e, f, g, h, i, j, k, l, m, n) 13 n
instance Data.Tuple.List.HasAt' (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o) 0 a
instance Data.Tuple.List.HasAt' (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o) 1 b
instance Data.Tuple.List.HasAt' (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o) 2 c
instance Data.Tuple.List.HasAt' (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o) 3 d
instance Data.Tuple.List.HasAt' (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o) 4 e
instance Data.Tuple.List.HasAt' (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o) 5 f
instance Data.Tuple.List.HasAt' (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o) 6 g
instance Data.Tuple.List.HasAt' (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o) 7 h
instance Data.Tuple.List.HasAt' (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o) 8 i
instance Data.Tuple.List.HasAt' (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o) 9 j
instance Data.Tuple.List.HasAt' (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o) 10 k
instance Data.Tuple.List.HasAt' (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o) 11 l
instance Data.Tuple.List.HasAt' (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o) 12 m
instance Data.Tuple.List.HasAt' (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o) 13 n
instance Data.Tuple.List.HasAt' (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o) 14 o
instance Data.Tuple.List.HasReverse ()
instance Data.Tuple.List.HasReverse (Data.Proxy.Proxy a)
instance Data.Tuple.List.HasReverse (a, b)
instance Data.Tuple.List.HasReverse (a, b, c)
instance Data.Tuple.List.HasReverse (a, b, c, d)
instance Data.Tuple.List.HasReverse (a, b, c, d, e)
instance Data.Tuple.List.HasReverse (a, b, c, d, e, f)
instance Data.Tuple.List.HasReverse (a, b, c, d, e, f, g)
instance Data.Tuple.List.HasReverse (a, b, c, d, e, f, g, h)
instance Data.Tuple.List.HasReverse (a, b, c, d, e, f, g, h, i)
instance Data.Tuple.List.HasReverse (a, b, c, d, e, f, g, h, i, j)
instance Data.Tuple.List.HasReverse (a, b, c, d, e, f, g, h, i, j, k)
instance Data.Tuple.List.HasReverse (a, b, c, d, e, f, g, h, i, j, k, l)
instance Data.Tuple.List.HasReverse (a, b, c, d, e, f, g, h, i, j, k, l, m)
instance Data.Tuple.List.HasReverse (a, b, c, d, e, f, g, h, i, j, k, l, m, n)
instance Data.Tuple.List.HasReverse (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o)
instance Data.Tuple.List.HasReverse' () ()
instance Data.Tuple.List.HasReverse' (Data.Proxy.Proxy a) (Data.Proxy.Proxy a)
instance (Data.Tuple.Single.Single c0, Data.Tuple.Single.Single c1, c0 Data.Type.Equality.~ c1, a Data.Type.Equality.~ b) => Data.Tuple.List.HasReverse' (c0 a) (c1 b)
instance Data.Tuple.List.HasReverse' (a, b) (b, a)
instance Data.Tuple.List.HasReverse' (a, b, c) (c, b, a)
instance Data.Tuple.List.HasReverse' (a, b, c, d) (d, c, b, a)
instance Data.Tuple.List.HasReverse' (a, b, c, d, e) (e, d, c, b, a)
instance Data.Tuple.List.HasReverse' (a, b, c, d, e, f) (f, e, d, c, b, a)
instance Data.Tuple.List.HasReverse' (a, b, c, d, e, f, g) (g, f, e, d, c, b, a)
instance Data.Tuple.List.HasReverse' (a, b, c, d, e, f, g, h) (h, g, f, e, d, c, b, a)
instance Data.Tuple.List.HasReverse' (a, b, c, d, e, f, g, h, i) (i, h, g, f, e, d, c, b, a)
instance Data.Tuple.List.HasReverse' (a, b, c, d, e, f, g, h, i, j) (j, i, h, g, f, e, d, c, b, a)
instance Data.Tuple.List.HasReverse' (a, b, c, d, e, f, g, h, i, j, k) (k, j, i, h, g, f, e, d, c, b, a)
instance Data.Tuple.List.HasReverse' (a, b, c, d, e, f, g, h, i, j, k, l) (l, k, j, i, h, g, f, e, d, c, b, a)
instance Data.Tuple.List.HasReverse' (a, b, c, d, e, f, g, h, i, j, k, l, m) (m, l, k, j, i, h, g, f, e, d, c, b, a)
instance Data.Tuple.List.HasReverse' (a, b, c, d, e, f, g, h, i, j, k, l, m, n) (n, m, l, k, j, i, h, g, f, e, d, c, b, a)
instance Data.Tuple.List.HasReverse' (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o) (o, n, m, l, k, j, i, h, g, f, e, d, c, b, a)
instance Data.Tuple.List.HasLength ()
instance Data.Tuple.List.HasLength (Data.Proxy.Proxy a)
instance Data.Tuple.Single.Single c => Data.Tuple.List.HasLength (c a)
instance Data.Tuple.List.HasLength (a, b)
instance Data.Tuple.List.HasLength (a, b, c)
instance Data.Tuple.List.HasLength (a, b, c, d)
instance Data.Tuple.List.HasLength (a, b, c, d, e)
instance Data.Tuple.List.HasLength (a, b, c, d, e, f)
instance Data.Tuple.List.HasLength (a, b, c, d, e, f, g)
instance Data.Tuple.List.HasLength (a, b, c, d, e, f, g, h)
instance Data.Tuple.List.HasLength (a, b, c, d, e, f, g, h, i)
instance Data.Tuple.List.HasLength (a, b, c, d, e, f, g, h, i, j)
instance Data.Tuple.List.HasLength (a, b, c, d, e, f, g, h, i, j, k)
instance Data.Tuple.List.HasLength (a, b, c, d, e, f, g, h, i, j, k, l)
instance Data.Tuple.List.HasLength (a, b, c, d, e, f, g, h, i, j, k, l, m)
instance Data.Tuple.List.HasLength (a, b, c, d, e, f, g, h, i, j, k, l, m, n)
instance Data.Tuple.List.HasLength (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o)
instance Data.Tuple.List.HasUncons (a, b, c)
instance Data.Tuple.List.HasUncons (a, b, c, d)
instance Data.Tuple.List.HasUncons (a, b, c, d, e)
instance Data.Tuple.List.HasUncons (a, b, c, d, e, f)
instance Data.Tuple.List.HasUncons (a, b, c, d, e, f, g)
instance Data.Tuple.List.HasUncons (a, b, c, d, e, f, g, h)
instance Data.Tuple.List.HasUncons (a, b, c, d, e, f, g, h, i)
instance Data.Tuple.List.HasUncons (a, b, c, d, e, f, g, h, i, j)
instance Data.Tuple.List.HasUncons (a, b, c, d, e, f, g, h, i, j, k)
instance Data.Tuple.List.HasUncons (a, b, c, d, e, f, g, h, i, j, k, l)
instance Data.Tuple.List.HasUncons (a, b, c, d, e, f, g, h, i, j, k, l, m)
instance Data.Tuple.List.HasUncons (a, b, c, d, e, f, g, h, i, j, k, l, m, n)
instance Data.Tuple.List.HasUncons (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o)
instance Data.Tuple.List.HasCons a (b, c)
instance Data.Tuple.List.HasCons a (b, c, d)
instance Data.Tuple.List.HasCons a (b, c, d, e)
instance Data.Tuple.List.HasCons a (b, c, d, e, f)
instance Data.Tuple.List.HasCons a (b, c, d, e, f, g)
instance Data.Tuple.List.HasCons a (b, c, d, e, f, g, h)
instance Data.Tuple.List.HasCons a (b, c, d, e, f, g, h, i)
instance Data.Tuple.List.HasCons a (b, c, d, e, f, g, h, i, j)
instance Data.Tuple.List.HasCons a (b, c, d, e, f, g, h, i, j, k)
instance Data.Tuple.List.HasCons a (b, c, d, e, f, g, h, i, j, k, l)
instance Data.Tuple.List.HasCons a (b, c, d, e, f, g, h, i, j, k, l, m)
instance Data.Tuple.List.HasCons a (b, c, d, e, f, g, h, i, j, k, l, m, n)
instance Data.Tuple.List.HasCons a (b, c, d, e, f, g, h, i, j, k, l, m, n, o)
instance Data.Tuple.List.HasLast (a, b)
instance Data.Tuple.List.HasLast (a, b, c)
instance Data.Tuple.List.HasLast (a, b, c, d)
instance Data.Tuple.List.HasLast (a, b, c, d, e)
instance Data.Tuple.List.HasLast (a, b, c, d, e, f)
instance Data.Tuple.List.HasLast (a, b, c, d, e, f, g)
instance Data.Tuple.List.HasLast (a, b, c, d, e, f, g, h)
instance Data.Tuple.List.HasLast (a, b, c, d, e, f, g, h, i)
instance Data.Tuple.List.HasLast (a, b, c, d, e, f, g, h, i, j)
instance Data.Tuple.List.HasLast (a, b, c, d, e, f, g, h, i, j, k)
instance Data.Tuple.List.HasLast (a, b, c, d, e, f, g, h, i, j, k, l)
instance Data.Tuple.List.HasLast (a, b, c, d, e, f, g, h, i, j, k, l, m)
instance Data.Tuple.List.HasLast (a, b, c, d, e, f, g, h, i, j, k, l, m, n)
instance Data.Tuple.List.HasLast (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o)
instance Data.Tuple.List.HasInit (a, b, c)
instance Data.Tuple.List.HasInit (a, b, c, d)
instance Data.Tuple.List.HasInit (a, b, c, d, e)
instance Data.Tuple.List.HasInit (a, b, c, d, e, f)
instance Data.Tuple.List.HasInit (a, b, c, d, e, f, g)
instance Data.Tuple.List.HasInit (a, b, c, d, e, f, g, h)
instance Data.Tuple.List.HasInit (a, b, c, d, e, f, g, h, i)
instance Data.Tuple.List.HasInit (a, b, c, d, e, f, g, h, i, j)
instance Data.Tuple.List.HasInit (a, b, c, d, e, f, g, h, i, j, k)
instance Data.Tuple.List.HasInit (a, b, c, d, e, f, g, h, i, j, k, l)
instance Data.Tuple.List.HasInit (a, b, c, d, e, f, g, h, i, j, k, l, m)
instance Data.Tuple.List.HasInit (a, b, c, d, e, f, g, h, i, j, k, l, m, n)
instance Data.Tuple.List.HasInit (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o)
instance Data.Tuple.List.HasTail (a, b, c)
instance Data.Tuple.List.HasTail (a, b, c, d)
instance Data.Tuple.List.HasTail (a, b, c, d, e)
instance Data.Tuple.List.HasTail (a, b, c, d, e, f)
instance Data.Tuple.List.HasTail (a, b, c, d, e, f, g)
instance Data.Tuple.List.HasTail (a, b, c, d, e, f, g, h)
instance Data.Tuple.List.HasTail (a, b, c, d, e, f, g, h, i)
instance Data.Tuple.List.HasTail (a, b, c, d, e, f, g, h, i, j)
instance Data.Tuple.List.HasTail (a, b, c, d, e, f, g, h, i, j, k)
instance Data.Tuple.List.HasTail (a, b, c, d, e, f, g, h, i, j, k, l)
instance Data.Tuple.List.HasTail (a, b, c, d, e, f, g, h, i, j, k, l, m)
instance Data.Tuple.List.HasTail (a, b, c, d, e, f, g, h, i, j, k, l, m, n)
instance Data.Tuple.List.HasTail (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o)
instance Data.Tuple.List.HasHead (a, b)
instance Data.Tuple.List.HasHead (a, b, c)
instance Data.Tuple.List.HasHead (a, b, c, d)
instance Data.Tuple.List.HasHead (a, b, c, d, e)
instance Data.Tuple.List.HasHead (a, b, c, d, e, f)
instance Data.Tuple.List.HasHead (a, b, c, d, e, f, g)
instance Data.Tuple.List.HasHead (a, b, c, d, e, f, g, h)
instance Data.Tuple.List.HasHead (a, b, c, d, e, f, g, h, i)
instance Data.Tuple.List.HasHead (a, b, c, d, e, f, g, h, i, j)
instance Data.Tuple.List.HasHead (a, b, c, d, e, f, g, h, i, j, k)
instance Data.Tuple.List.HasHead (a, b, c, d, e, f, g, h, i, j, k, l)
instance Data.Tuple.List.HasHead (a, b, c, d, e, f, g, h, i, j, k, l, m)
instance Data.Tuple.List.HasHead (a, b, c, d, e, f, g, h, i, j, k, l, m, n)
instance Data.Tuple.List.HasHead (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o)
instance Data.Tuple.Single.Single c => Data.Tuple.List.HasUncons' (c a) a ()
instance Data.Tuple.Single.Single c => Data.Tuple.List.HasUncons' (a, b) a (c b)
instance Data.Tuple.List.HasUncons' (a, b, c) a (b, c)
instance Data.Tuple.List.HasUncons' (a, b, c, d) a (b, c, d)
instance Data.Tuple.List.HasUncons' (a, b, c, d, e) a (b, c, d, e)
instance Data.Tuple.List.HasUncons' (a, b, c, d, e, f) a (b, c, d, e, f)
instance Data.Tuple.List.HasUncons' (a, b, c, d, e, f, g) a (b, c, d, e, f, g)
instance Data.Tuple.List.HasUncons' (a, b, c, d, e, f, g, h) a (b, c, d, e, f, g, h)
instance Data.Tuple.List.HasUncons' (a, b, c, d, e, f, g, h, i) a (b, c, d, e, f, g, h, i)
instance Data.Tuple.List.HasUncons' (a, b, c, d, e, f, g, h, i, j) a (b, c, d, e, f, g, h, i, j)
instance Data.Tuple.List.HasUncons' (a, b, c, d, e, f, g, h, i, j, k) a (b, c, d, e, f, g, h, i, j, k)
instance Data.Tuple.List.HasUncons' (a, b, c, d, e, f, g, h, i, j, k, l) a (b, c, d, e, f, g, h, i, j, k, l)
instance Data.Tuple.List.HasUncons' (a, b, c, d, e, f, g, h, i, j, k, l, m) a (b, c, d, e, f, g, h, i, j, k, l, m)
instance Data.Tuple.List.HasUncons' (a, b, c, d, e, f, g, h, i, j, k, l, m, n) a (b, c, d, e, f, g, h, i, j, k, l, m, n)
instance Data.Tuple.List.HasUncons' (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o) a (b, c, d, e, f, g, h, i, j, k, l, m, n, o)
instance Data.Tuple.Single.Single c => Data.Tuple.List.HasCons' (c a) a ()
instance Data.Tuple.Single.Single c => Data.Tuple.List.HasCons' (a, b) a (c b)
instance Data.Tuple.List.HasCons' (a, b, c) a (b, c)
instance Data.Tuple.List.HasCons' (a, b, c, d) a (b, c, d)
instance Data.Tuple.List.HasCons' (a, b, c, d, e) a (b, c, d, e)
instance Data.Tuple.List.HasCons' (a, b, c, d, e, f) a (b, c, d, e, f)
instance Data.Tuple.List.HasCons' (a, b, c, d, e, f, g) a (b, c, d, e, f, g)
instance Data.Tuple.List.HasCons' (a, b, c, d, e, f, g, h) a (b, c, d, e, f, g, h)
instance Data.Tuple.List.HasCons' (a, b, c, d, e, f, g, h, i) a (b, c, d, e, f, g, h, i)
instance Data.Tuple.List.HasCons' (a, b, c, d, e, f, g, h, i, j) a (b, c, d, e, f, g, h, i, j)
instance Data.Tuple.List.HasCons' (a, b, c, d, e, f, g, h, i, j, k) a (b, c, d, e, f, g, h, i, j, k)
instance Data.Tuple.List.HasCons' (a, b, c, d, e, f, g, h, i, j, k, l) a (b, c, d, e, f, g, h, i, j, k, l)
instance Data.Tuple.List.HasCons' (a, b, c, d, e, f, g, h, i, j, k, l, m) a (b, c, d, e, f, g, h, i, j, k, l, m)
instance Data.Tuple.List.HasCons' (a, b, c, d, e, f, g, h, i, j, k, l, m, n) a (b, c, d, e, f, g, h, i, j, k, l, m, n)
instance Data.Tuple.List.HasCons' (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o) a (b, c, d, e, f, g, h, i, j, k, l, m, n, o)
instance Data.Tuple.Single.Single c => Data.Tuple.List.HasLast' (c a) a
instance Data.Tuple.List.HasLast' (a, b) b
instance Data.Tuple.List.HasLast' (a, b, c) c
instance Data.Tuple.List.HasLast' (a, b, c, d) d
instance Data.Tuple.List.HasLast' (a, b, c, d, e) e
instance Data.Tuple.List.HasLast' (a, b, c, d, e, f) f
instance Data.Tuple.List.HasLast' (a, b, c, d, e, f, g) g
instance Data.Tuple.List.HasLast' (a, b, c, d, e, f, g, h) h
instance Data.Tuple.List.HasLast' (a, b, c, d, e, f, g, h, i) i
instance Data.Tuple.List.HasLast' (a, b, c, d, e, f, g, h, i, j) j
instance Data.Tuple.List.HasLast' (a, b, c, d, e, f, g, h, i, j, k) k
instance Data.Tuple.List.HasLast' (a, b, c, d, e, f, g, h, i, j, k, l) l
instance Data.Tuple.List.HasLast' (a, b, c, d, e, f, g, h, i, j, k, l, m) m
instance Data.Tuple.List.HasLast' (a, b, c, d, e, f, g, h, i, j, k, l, m, n) n
instance Data.Tuple.List.HasLast' (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o) o
instance (TypeError ...) => Data.Tuple.List.HasInit' (Data.Proxy.Proxy a) b
instance (Data.Tuple.Single.Single c, b Data.Type.Equality.~ ()) => Data.Tuple.List.HasInit' (c a) b
instance Data.Tuple.Single.Single c => Data.Tuple.List.HasInit' (a, b) (c a)
instance Data.Tuple.List.HasInit' (a, b, c) (a, b)
instance Data.Tuple.List.HasInit' (a, b, c, d) (a, b, c)
instance Data.Tuple.List.HasInit' (a, b, c, d, e) (a, b, c, d)
instance Data.Tuple.List.HasInit' (a, b, c, d, e, f) (a, b, c, d, e)
instance Data.Tuple.List.HasInit' (a, b, c, d, e, f, g) (a, b, c, d, e, f)
instance Data.Tuple.List.HasInit' (a, b, c, d, e, f, g, h) (a, b, c, d, e, f, g)
instance Data.Tuple.List.HasInit' (a, b, c, d, e, f, g, h, i) (a, b, c, d, e, f, g, h)
instance Data.Tuple.List.HasInit' (a, b, c, d, e, f, g, h, i, j) (a, b, c, d, e, f, g, h, i)
instance Data.Tuple.List.HasInit' (a, b, c, d, e, f, g, h, i, j, k) (a, b, c, d, e, f, g, h, i, j)
instance Data.Tuple.List.HasInit' (a, b, c, d, e, f, g, h, i, j, k, l) (a, b, c, d, e, f, g, h, i, j, k)
instance Data.Tuple.List.HasInit' (a, b, c, d, e, f, g, h, i, j, k, l, m) (a, b, c, d, e, f, g, h, i, j, k, l)
instance Data.Tuple.List.HasInit' (a, b, c, d, e, f, g, h, i, j, k, l, m, n) (a, b, c, d, e, f, g, h, i, j, k, l, m)
instance Data.Tuple.List.HasInit' (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o) (a, b, c, d, e, f, g, h, i, j, k, l, m, n)
instance (TypeError ...) => Data.Tuple.List.HasTail' (Data.Proxy.Proxy a) b
instance (Data.Tuple.Single.Single c, b Data.Type.Equality.~ ()) => Data.Tuple.List.HasTail' (c a) b
instance Data.Tuple.Single.Single c => Data.Tuple.List.HasTail' (a, b) (c b)
instance Data.Tuple.List.HasTail' (a, b, c) (b, c)
instance Data.Tuple.List.HasTail' (a, b, c, d) (b, c, d)
instance Data.Tuple.List.HasTail' (a, b, c, d, e) (b, c, d, e)
instance Data.Tuple.List.HasTail' (a, b, c, d, e, f) (b, c, d, e, f)
instance Data.Tuple.List.HasTail' (a, b, c, d, e, f, g) (b, c, d, e, f, g)
instance Data.Tuple.List.HasTail' (a, b, c, d, e, f, g, h) (b, c, d, e, f, g, h)
instance Data.Tuple.List.HasTail' (a, b, c, d, e, f, g, h, i) (b, c, d, e, f, g, h, i)
instance Data.Tuple.List.HasTail' (a, b, c, d, e, f, g, h, i, j) (b, c, d, e, f, g, h, i, j)
instance Data.Tuple.List.HasTail' (a, b, c, d, e, f, g, h, i, j, k) (b, c, d, e, f, g, h, i, j, k)
instance Data.Tuple.List.HasTail' (a, b, c, d, e, f, g, h, i, j, k, l) (b, c, d, e, f, g, h, i, j, k, l)
instance Data.Tuple.List.HasTail' (a, b, c, d, e, f, g, h, i, j, k, l, m) (b, c, d, e, f, g, h, i, j, k, l, m)
instance Data.Tuple.List.HasTail' (a, b, c, d, e, f, g, h, i, j, k, l, m, n) (b, c, d, e, f, g, h, i, j, k, l, m, n)
instance Data.Tuple.List.HasTail' (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o) (b, c, d, e, f, g, h, i, j, k, l, m, n, o)
instance (Data.Tuple.Single.Single c, t Data.Type.Equality.~ c a) => Data.Tuple.List.HasHead' t a
instance Data.Tuple.List.HasHead' (a, b) a
instance Data.Tuple.List.HasHead' (a, b, c) a
instance Data.Tuple.List.HasHead' (a, b, c, d) a
instance Data.Tuple.List.HasHead' (a, b, c, d, e) a
instance Data.Tuple.List.HasHead' (a, b, c, d, e, f) a
instance Data.Tuple.List.HasHead' (a, b, c, d, e, f, g) a
instance Data.Tuple.List.HasHead' (a, b, c, d, e, f, g, h) a
instance Data.Tuple.List.HasHead' (a, b, c, d, e, f, g, h, i) a
instance Data.Tuple.List.HasHead' (a, b, c, d, e, f, g, h, i, j) a
instance Data.Tuple.List.HasHead' (a, b, c, d, e, f, g, h, i, j, k) a
instance Data.Tuple.List.HasHead' (a, b, c, d, e, f, g, h, i, j, k, l) a
instance Data.Tuple.List.HasHead' (a, b, c, d, e, f, g, h, i, j, k, l, m) a
instance Data.Tuple.List.HasHead' (a, b, c, d, e, f, g, h, i, j, k, l, m, n) a
instance Data.Tuple.List.HasHead' (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o) a
-- | List-like operations for Identity.
module Data.Tuple.List.Identity
instance Data.Tuple.List.HasHead (Data.Functor.Identity.Identity a)
instance Data.Tuple.List.HasTail (Data.Functor.Identity.Identity a)
instance Data.Tuple.List.HasInit (Data.Functor.Identity.Identity a)
instance Data.Tuple.List.HasLast (Data.Functor.Identity.Identity a)
instance Data.Tuple.List.HasCons a ()
instance Data.Tuple.List.HasUncons (Data.Functor.Identity.Identity a)
instance Data.Tuple.List.HasLength (Data.Functor.Identity.Identity a)
instance Data.Tuple.List.HasReverse (Data.Functor.Identity.Identity a)
instance Data.Tuple.List.HasAt (Data.Functor.Identity.Identity a) 0
instance Data.Tuple.List.HasTail (a, b)
instance Data.Tuple.List.HasInit (a, b)
instance Data.Tuple.List.HasCons a (Data.Functor.Identity.Identity b)
instance Data.Tuple.List.HasUncons (a, b)
-- | List-like operations for OneTuple.
module Data.Tuple.List.OneTuple
instance Data.Tuple.List.HasHead (Data.Tuple.OneTuple.OneTuple a)
instance Data.Tuple.List.HasTail (Data.Tuple.OneTuple.OneTuple a)
instance Data.Tuple.List.HasInit (Data.Tuple.OneTuple.OneTuple a)
instance Data.Tuple.List.HasLast (Data.Tuple.OneTuple.OneTuple a)
instance Data.Tuple.List.HasCons a ()
instance Data.Tuple.List.HasUncons (Data.Tuple.OneTuple.OneTuple a)
instance Data.Tuple.List.HasLength (Data.Tuple.OneTuple.OneTuple a)
instance Data.Tuple.List.HasReverse (Data.Tuple.OneTuple.OneTuple a)
instance Data.Tuple.List.HasAt (Data.Tuple.OneTuple.OneTuple a) 0
instance Data.Tuple.List.HasTail (a, b)
instance Data.Tuple.List.HasInit (a, b)
instance Data.Tuple.List.HasCons a (Data.Tuple.OneTuple.OneTuple b)
instance Data.Tuple.List.HasUncons (a, b)
-- | List-like operations for Only.
module Data.Tuple.List.Only
instance Data.Tuple.List.HasHead (Data.Tuple.Only.Only a)
instance Data.Tuple.List.HasTail (Data.Tuple.Only.Only a)
instance Data.Tuple.List.HasInit (Data.Tuple.Only.Only a)
instance Data.Tuple.List.HasLast (Data.Tuple.Only.Only a)
instance Data.Tuple.List.HasCons a ()
instance Data.Tuple.List.HasUncons (Data.Tuple.Only.Only a)
instance Data.Tuple.List.HasLength (Data.Tuple.Only.Only a)
instance Data.Tuple.List.HasReverse (Data.Tuple.Only.Only a)
instance Data.Tuple.List.HasAt (Data.Tuple.Only.Only a) 0
instance Data.Tuple.List.HasTail (a, b)
instance Data.Tuple.List.HasInit (a, b)
instance Data.Tuple.List.HasCons a (Data.Tuple.Only.Only b)
instance Data.Tuple.List.HasUncons (a, b)