Package frege.data.wrapper.ZipList

Compiled: Wed Dec 05 00:10:09 PST 2012 from source file: ./frege/data/wrapper/ZipList.fr

Package Documentation

Table of Content

Imports

Instances

instance Applicative ZipList

Member Functions

*> :: ZipList α -> ZipList β -> ZipList β

inherited from Applicative.*>

<* :: ZipList α -> ZipList β -> ZipList α

inherited from Applicative.<*

<*> :: ZipList (α->β) -> ZipList α -> ZipList β
return :: α -> ZipList α
instance Empty ZipList

Member Functions

empty :: ZipList α
null :: ZipList α -> Bool
instance Foldable ZipList

Member Functions

fold :: Monoid α => ZipList α -> α

inherited from F.Foldable.fold

fold1 :: Semigroup α => ZipList α -> α

inherited from F.Foldable.fold1

foldMap :: Monoid β => (α->β) -> ZipList α -> β

inherited from F.Foldable.foldMap

foldMap1 :: Semigroup β => (α->β) -> ZipList α -> β

inherited from F.Foldable.foldMap1

foldl :: (α->β->α) -> α -> ZipList β -> α
foldl1 :: (α->α->α) -> ZipList α -> α

inherited from F.Foldable.foldl1

foldr :: (α->β->β) -> β -> ZipList α -> β
foldr1 :: (α->α->α) -> ZipList α -> α

inherited from F.Foldable.foldr1

instance Functor ZipList

Member Functions

fmap :: (α->β) -> ZipList α -> ZipList β
instance ListLike ZipList

Member Functions

++ :: ZipList α -> ZipList α -> ZipList α
head :: ZipList α -> α
length :: ZipList α -> Int
tail :: ZipList α -> ZipList α
instance ListSource ZipList

Member Functions

toList :: ZipList α -> [α]
instance Monoid ZipList a

Member Functions

mconcat :: [ZipList α] -> ZipList α

inherited from Monoid.Monoid.mconcat

mempty :: ZipList α
mtimes :: Int -> ZipList α -> ZipList α

inherited from Monoid.Monoid.mtimes

instance Semigroup ZipList a

Member Functions

mappend :: ZipList α -> ZipList α -> ZipList α
sconcat :: [ZipList α] -> ZipList α

inherited from Monoid.Semigroup.sconcat

stimes :: Int -> ZipList α -> ZipList α

inherited from Monoid.Semigroup.stimes

instance Traversable ZipList

Member Functions

mapM :: Monad β => (γ->β α) -> ZipList γ -> β (ZipList α)

inherited from T.Traversable.mapM

sequence :: Monad α => ZipList (α β) -> α (ZipList β)

inherited from T.Traversable.sequence

sequenceA :: Applicative α => ZipList (α β) -> α (ZipList β)

inherited from T.Traversable.sequenceA

traverse :: Applicative β => (γ->β α) -> ZipList γ -> β (ZipList α)

Data Types

data ZipList a

Constructors

ZipList {get :: [a]}

Member Functions

get :: ZipList α -> [α]

access field get

Functions and Values by Type

(α->α->α) -> ZipList α -> α

Foldable_ZipList.foldl1, Foldable_ZipList.foldr1

ZipList α -> ZipList α -> ZipList α

ListLike_ZipList.++, Semigroup_ZipList.mappend

ZipList α -> ZipList α

ListLike_ZipList.tail

ZipList α -> [α]

ListSource_ZipList.toList, ZipList.get

ZipList α -> Bool

Empty_ZipList.null

ZipList α -> Int

ListLike_ZipList.length

ZipList α -> α

ListLike_ZipList.head

[ZipList α] -> ZipList α

Monoid_ZipList.mconcat, Semigroup_ZipList.sconcat

[a] -> ZipList a

ZipList.ZipList

Int -> ZipList α -> ZipList α

Monoid_ZipList.mtimes, Semigroup_ZipList.stimes

α -> ZipList α

Applicative_ZipList.return

α -> Bool

ZipList.has$get

Monoid α => ZipList α -> α

Foldable_ZipList.fold

Semigroup α => ZipList α -> α

Foldable_ZipList.fold1

ZipList α

Empty_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

Valid HTML 4.01 Strict