Copyright	Kazuki Okamoto
License	see LICENSE
Maintainer	kazuki.okamoto@kakkun61.com
Stability	experimental
Portability	GHC
Safe Haskell	Safe
Language	Haskell2010
Extensions	MonoLocalBinds TypeFamilies DataKinds TypeSynonymInstances FlexibleInstances ConstrainedClassMethods MultiParamTypeClasses KindSignatures ExplicitNamespaces

Data.Tuple.List.Identity

Contents

Description

List-like operations for Identity.

Orphan instances

HasCons a () Source #
Instance details Methods cons :: a -> () -> Cons a () Source #
HasCons a (Identity b) Source #
Instance details Methods cons :: a -> Identity b -> Cons a (Identity b) Source #
HasReverse (Identity a) Source #
Instance details Methods reverse :: Identity a -> Reverse (Identity a) Source #
HasLength (Identity a) Source #
Instance details Methods length :: Integral n => Identity a -> n Source #
HasUncons (Identity a) Source #
Instance details Methods uncons :: Identity a -> (Head (Identity a), Tail (Identity a)) Source #
HasLast (Identity a) Source #
Instance details Methods last :: Identity a -> Last (Identity a) Source #
HasInit (Identity a) Source #
Instance details Methods init :: Identity a -> Init (Identity a) Source #
HasTail (Identity a) Source #
Instance details Methods tail :: Identity a -> Tail (Identity a) Source #
HasHead (Identity a) Source #
Instance details Methods head :: Identity a -> Head (Identity a) Source #
HasAt (Identity a) 0 Source #
Instance details Methods (!!) :: Identity a -> proxy 0 -> Identity a !! 0 Source # at :: Identity a -> Identity a !! 0 Source #
HasUncons (a, b) Source #
Instance details Methods uncons :: (a, b) -> (Head (a, b), Tail (a, b)) Source #
HasInit (a, b) Source #
Instance details Methods init :: (a, b) -> Init (a, b) Source #
HasTail (a, b) Source #
Instance details Methods tail :: (a, b) -> Tail (a, b) Source #