list-tuple-0.1.2.0: List-like operations for tuples

CopyrightKazuki Okamoto
Licensesee LICENSE
Maintainerkazuki.okamoto@kakkun61.com
Stabilityexperimental
PortabilityGHC
Safe HaskellSafe
LanguageHaskell2010
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

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 #