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.OneTuple

Contents

Description

List-like operations for OneTuple.

Orphan instances

HasCons a () Source # 
Instance details

Methods

cons :: a -> () -> Cons a () Source #

HasCons a (OneTuple b) Source # 
Instance details

Methods

cons :: a -> OneTuple b -> Cons a (OneTuple b) Source #

HasReverse (OneTuple a) Source # 
Instance details

HasLength (OneTuple a) Source # 
Instance details

Methods

length :: Integral n => OneTuple a -> n Source #

HasUncons (OneTuple a) Source # 
Instance details

Methods

uncons :: OneTuple a -> (Head (OneTuple a), Tail (OneTuple a)) Source #

HasLast (OneTuple a) Source # 
Instance details

Methods

last :: OneTuple a -> Last (OneTuple a) Source #

HasInit (OneTuple a) Source # 
Instance details

Methods

init :: OneTuple a -> Init (OneTuple a) Source #

HasTail (OneTuple a) Source # 
Instance details

Methods

tail :: OneTuple a -> Tail (OneTuple a) Source #

HasHead (OneTuple a) Source # 
Instance details

Methods

head :: OneTuple a -> Head (OneTuple a) Source #

HasAt (OneTuple a) 0 Source # 
Instance details

Methods

(!!) :: OneTuple a -> proxy 0 -> OneTuple a !! 0 Source #

at :: OneTuple a -> OneTuple 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 #