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