Agda.Utils.ListT

data ListT m a

List operations

nilListT

consListT

sgListT

caseListT

foldListT

concatListT

Monadic list operations.

runMListT

consMListT

sgMListT

mapMListT

mapMListT_alt

liftListT