Module Data.wrapper.ZipList

A zip list.

Imports

import Data.Foldable as F
import Data.Monoid as Monoid
import frege.Prelude as Prelude
import Prelude.PreludeArrays as PreludeArrays
import Prelude.PreludeBase as PreludeBase
import Prelude.PreludeDecimal as PreludeDecimal
import Prelude.PreludeIO as PreludeIO
import Prelude.PreludeList as PreludeList
import Prelude.PreludeMonad as PreludeMonad
import Prelude.PreludeText as PreludeText
import Java.util.Regex as Regexp
import Data.Traversable as T

Table of Content

Definitions

data ZipList a
Instances

instance Applicative ZipList

instance Foldable ZipList

instance Functor ZipList

instance ListMonoid ZipList

instance ListSource ZipList

instance ListView ZipList

instance Monoid (ZipList a)

instance Semigroup (ZipList a)

instance Traversable ZipList
Functions and Values by Type

Definitions

data ZipList a

Constructors

ZipList {get ∷ [a]}

Member Functions

get ∷ ZipList α → [α]: access field get

Instances

instance Applicative ZipList

Member Functions

*> ∷ ZipList α → ZipList β → ZipList β
infixl 4: inherited from Applicative.*>
<* ∷ ZipList α → ZipList β → ZipList α
infixl 4: inherited from Applicative.<*
<*> ∷ ZipList (α→β) → ZipList α → ZipList β
infixl 4
pure ∷ α → ZipList α

instance Foldable ZipList

Member Functions

fold ∷ Monoid α ⇒ ZipList α → α: inherited from Foldable.fold
fold1 ∷ Semigroup α ⇒ ZipList α → α: inherited from Foldable.fold1
foldMap ∷ Monoid β ⇒ (α → β) → ZipList α → β: inherited from Foldable.foldMap
foldMap1 ∷ Semigroup β ⇒ (α → β) → ZipList α → β: inherited from Foldable.foldMap1
foldl ∷ (α → β → α) → α → ZipList β → α
foldl1 ∷ (α → α → α) → ZipList α → α: inherited from Foldable.foldl1
foldr ∷ (α → β → β) → β → ZipList α → β
foldr1 ∷ (α → α → α) → ZipList α → α: inherited from Foldable.foldr1

instance Functor ZipList

Member Functions

fmap ∷ (α → β) → ZipList α → ZipList β
infixl 4

instance ListMonoid ZipList

Member Functions

++ ∷ ZipList α → ZipList α → ZipList α
infixr 13
concat ∷ [ZipList α] → ZipList α: inherited from ListMonoid.concat

instance ListSource ZipList

Member Functions

toList ∷ ZipList α → [α]

instance ListView ZipList

Member Functions

drop ∷ Int → ZipList α → ZipList α: inherited from ListView.drop
empty ∷ ZipList α
head ∷ ZipList α → α: inherited from ListView.head
length ∷ ZipList α → Int
null ∷ ZipList α → Bool
tail ∷ ZipList α → ZipList α: inherited from ListView.tail
take ∷ Int → ZipList α → ZipList α
uncons ∷ ZipList α → Maybe (α, ZipList α)

instance Monoid (ZipList a)

Member Functions

mconcat ∷ [ZipList α] → ZipList α: inherited from Monoid.mconcat
mempty ∷ ZipList α
mtimes ∷ Int → ZipList α → ZipList α: inherited from Monoid.mtimes

instance Semigroup (ZipList a)

Member Functions

mappend ∷ ZipList α → ZipList α → ZipList α
infixr 13
sconcat ∷ [ZipList α] → ZipList α: inherited from Semigroup.sconcat
stimes ∷ Int → ZipList α → ZipList α: inherited from Semigroup.stimes

instance Traversable ZipList

Member Functions

mapM ∷ Monad γ ⇒ (α → γ β) → ZipList α → γ (ZipList β): inherited from Traversable.mapM
sequence ∷ Monad β ⇒ ZipList (β α) → β (ZipList α): inherited from Traversable.sequence
sequenceA ∷ Applicative β ⇒ ZipList (β α) → β (ZipList α): inherited from Traversable.sequenceA
traverse ∷ Applicative γ ⇒ (α → γ β) → ZipList α → γ (ZipList β)

Functions and Values by Type

(α → α → α) → ZipList α → α: Foldable_ZipList.foldr1, Foldable_ZipList.foldl1
ZipList α → ZipList α → ZipList α: ListMonoid_ZipList.++, Semigroup_ZipList.mappend
ZipList α → ZipList α: ListView_ZipList.tail
ZipList α → Maybe (α, ZipList α): ListView_ZipList.uncons
ZipList α → [α]: ListSource_ZipList.toList, ZipList.get
ZipList α → Bool: ListView_ZipList.null
ZipList α → Int: ListView_ZipList.length
ZipList α → α: ListView_ZipList.head
[ZipList α] → ZipList α: ListMonoid_ZipList.concat, Monoid_ZipList.mconcat, Semigroup_ZipList.sconcat
[a] → ZipList a: ZipList.ZipList
Int → ZipList α → ZipList α: ListView_ZipList.take, ListView_ZipList.drop, Monoid_ZipList.mtimes, Semigroup_ZipList.stimes
α → ZipList α: Applicative_ZipList.pure
α → Bool: ZipList.has$get
Monoid α ⇒ ZipList α → α: Foldable_ZipList.fold
Semigroup α ⇒ ZipList α → α: Foldable_ZipList.fold1
ZipList α: ListView_ZipList.empty, Monoid_ZipList.mempty
(α → β → α) → α → ZipList β → α: Foldable_ZipList.foldl
(α → β → β) → β → ZipList α → β: Foldable_ZipList.foldr
(α → β) → ZipList α → ZipList β: Functor_ZipList.fmap
ZipList (α→β) → ZipList α → ZipList β: Applicative_ZipList.<*>
ZipList α → ([α]→[β]) → ZipList β: ZipList.chg$get
ZipList α → ZipList β → ZipList α: Applicative_ZipList.<*
ZipList α → ZipList β → ZipList β: Applicative_ZipList.*>
ZipList α → [β] → ZipList β: ZipList.upd$get
Monoid β ⇒ (α → β) → ZipList α → β: Foldable_ZipList.foldMap
Semigroup β ⇒ (α → β) → ZipList α → β: Foldable_ZipList.foldMap1
Applicative β ⇒ ZipList (β α) → β (ZipList α): Traversable_ZipList.sequenceA
Monad β ⇒ ZipList (β α) → β (ZipList α): Traversable_ZipList.sequence
Applicative γ ⇒ (α → γ β) → ZipList α → γ (ZipList β): Traversable_ZipList.traverse
Monad γ ⇒ (α → γ β) → ZipList α → γ (ZipList β): Traversable_ZipList.mapM