Skip to content

HORIZON HASKELL Docs lts/ghc-10.0.x77a86622026-10-31Search packagesCtrl K

Theme: |

GHC 10.0.0.20260917 · lts/ghc-10.0.x · 77a8662 · 2026-10-31

Modulepgp-wordlist-0.1.0.3Haskell2010

Data.Text.PgpWordlist.Internal.AltList

A type of list that contains two alternating element types.

Contents

Construction, deconstruction
Bifunctor
Bitraversable

Synopsis

data AltList
value fromList
value toList
value first
value second
value bimap
value bisequence
value bitraverse

Packagepgp-wordlist-0.1.0.3
Exports8
LanguageHaskell2010
LicenceBSD-3-Clause
SourceAltList.hs

datadata AltList a b

List of elements of alternating element types.

Constructors

Nil
a :<> AltList b ainfixr 5

Instances5Bifunctor, Functor, Eq, Ord, Show

Bifunctor AltListDefined in pgp-wordlist-0.1.0.3 · Data.Text.PgpWordlist.Internal.AltList
Functor (AltList a)Defined in pgp-wordlist-0.1.0.3 · Data.Text.PgpWordlist.Internal.AltList
(Eq a, Eq b) => Eq (AltList a b)Defined in pgp-wordlist-0.1.0.3 · Data.Text.PgpWordlist.Internal.AltList
(Ord a, Ord b) => Ord (AltList a b)Defined in pgp-wordlist-0.1.0.3 · Data.Text.PgpWordlist.Internal.AltList
(Show a, Show b) => Show (AltList a b)Defined in pgp-wordlist-0.1.0.3 · Data.Text.PgpWordlist.Internal.AltList

Construction, deconstruction

valuefromList :: [a] -> AltList a a

Simple conversion function. Inverse of toList.

valuetoList :: AltList a a -> [a]

Simple conversion function. Inverse of fromList.

Bifunctor

valuefirst :: (a -> a') -> AltList a b -> AltList a' b

Map over every other element of an AltList, starting with the first entry.

first f ≡ bimap f id

valuesecond :: (b -> b') -> AltList a b -> AltList a b'

Map over every other element of an AltList, starting with the second entry.

second g ≡ bimap id g

valuebimap :: (a -> a') -> (b -> b') -> AltList a b -> AltList a' b'

Map over the both types of entries of an AltList.

bimap f g ≡ second g . first f

Bitraversable

valuebisequence :: Applicative f => AltList (f a) (f b) -> f (AltList a b)

The Bifunctor analogon to sequenceA.

valuebitraverse

:: Applicative f
=> a -> f c
-> b -> f d
-> AltList a b
-> f (AltList c d)

The Bifunctor analogon to traverse.