ZkFold.Base.Data.List.Infinite

Orphan instances

Representable Infinite

Associated Types

type Rep Infinite

Methods

tabulate :: (Rep Infinite -> a) -> Infinite a

index :: Infinite a -> Rep Infinite -> a

Distributive Infinite

Methods

distribute :: Functor f => f (Infinite a) -> Infinite (f a)

collect :: Functor f => (a -> Infinite b) -> f a -> Infinite (f b)

distributeM :: Monad m => m (Infinite a) -> Infinite (m a)

collectM :: Monad m => (a -> Infinite b) -> m a -> Infinite (m b)