Data.Stream.Hinze.Idiom

Documentation

class Idiom f where

A reimplementation of the classic idioms class, which is now known as Applicative.

Methods

pure :: a -> f a

(<>) :: f (a -> b) -> f a -> f b

repeat :: a -> f a

map :: (a -> b) -> f a -> f b

zip :: (a -> b -> c) -> f a -> f b -> f c

Instances

Idiom Stream

Stream are idioms aka applicative functors.