Agda.Utils.ListT

Lazy monadic computation of a list of results.

Boilerplate function to lift MonadReader through the ListT transformer.

Inverse to mapListT.

The empty lazy list.

Consing a value to a lazy list.

Singleton lazy list.

Case distinction over lazy list.

Folding a lazy list, effects left-to-right.

Lazy monadic disjunction of lazy monadic list, effects left-to-right

Lazy monadic conjunction of lazy monadic list, effects left-to-right

Force all values in the lazy list, effects left-to-right

The join operation of the ListT m monad.

We can `run' a computation of a ListT as it is monadic itself.

Monadic cons.

Monadic singleton.

Extending a monadic function to ListT.

Alternative implementation using foldListT.

Change from one monad to another