Modulepgp-wordlist-0.1.0.3Haskell2010

Data.Text.PgpWordlist.Internal.AltList

A type of list that contains two alternating element types.

datadata AltList a b

List of elements of alternating element types.

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

2 declarations

valuefromList :: [a] -> AltList a a

Simple conversion function. Inverse of toList.

valuetoList :: AltList a a -> [a]

Simple conversion function. Inverse of fromList.

3 declarations

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

2 declarations

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

valuebitraverse

The Bifunctor analogon to traverse.