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

Contents

Description

List-like operations for Only.

Orphan instances

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