Index for the theory
Table of contents for the theory
Toplevel
bedrock.upoly.UTypes
Some universe polymorphic datatypes
bedrock.upoly.base
Universe polymorphic classes
Functors
Traversable types
Alternative
Monads
Errors
Lifting
Notation
Default Instances
Instances
bedrock.upoly.effects
bedrock.upoly.id
Identity monad
bedrock.upoly.list
Lists
bedrock.upoly.listT
List monad transformer
bedrock.upoly.monoid
Monoid operations
bedrock.upoly.option
Options
bedrock.upoly.optionT
Option monad transformer
bedrock.upoly.parsec
Universes
parsec
bedrock.upoly.prelude
bedrock.upoly.prod
Products
bedrock.upoly.reader
Reader monad
bedrock.upoly.readerT
Reader monad transformer
bedrock.upoly.state
State monad
bedrock.upoly.stateT
State monad transformer
bedrock.upoly.sum
Sums
bedrock.upoly.trace
Trace monad
bedrock.upoly.traceT
Trace monad transformer
bedrock.upoly.upoly
bedrock.upoly.writer
Writer monad
bedrock.upoly.writerT
Writer monad transformer