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