skylabs.upoly.UTypes

• Some universe polymorphic datatypes

skylabs.upoly.base

• • Universe polymorphic classes
  • Functors
  • Traversable types
  • Alternative
  • Monads
  • Errors
  • Lifting
  • Notation
  • Default Instances
  • Instances

skylabs.upoly.effects

skylabs.upoly.id

• • Identity monad

skylabs.upoly.list

• Lists

skylabs.upoly.listT

• List monad transformer

skylabs.upoly.monoid

• Monoid operations

skylabs.upoly.option

• Options

skylabs.upoly.optionT

• Option monad transformer

skylabs.upoly.parsec

• • Universes
  • parsec

skylabs.upoly.prelude

skylabs.upoly.prod

• Products

skylabs.upoly.reader

• Reader monad

skylabs.upoly.readerT

• Reader monad transformer

skylabs.upoly.state

• State monad

skylabs.upoly.stateT

• State monad transformer

skylabs.upoly.sum

• Sums

skylabs.upoly.trace

• Trace monad

skylabs.upoly.traceT

• Trace monad transformer

skylabs.upoly.upoly

skylabs.upoly.writer

• Writer monad

skylabs.upoly.writerT

• Writer monad transformer