lib:typelevel

Modules

• Constraint.Container.Homo
• Data.Constraint.Struct
• Data.Constraints
• Data.Proxify
• Type.Any
• Type.Applicative
• Type.Bool
• Type.Container
• Type.Either
• Type.Error
• Type.Error_old
• Type.Functor
• Type.Hidden
• Type.Inference
• Type.Known
• Type.List
• Type.Map
• Type.Maybe
• Type.Monoid
• Type.Operators
• Type.Promotion
• Type.Relation
• Type.Sequence
• Type.Set
• Type.Show
• Type.Show_old
• Type.Wrapped
• Type.Zip

Dependencies

• base lib:base >=4.9 && <4.13
• constraints lib:constraints >=0
• convert lib:convert >=0
• exceptions lib:exceptions >=0
• lens lib:lens >=0
• mtl lib:mtl >=0
• pretty lib:pretty >=0
• pretty-show lib:pretty-show >=0
• primitive lib:primitive >=0
• transformers lib:transformers >=0

Reverse dependencies

Direct only. Not exhaustive.

• container lib:container
• data-rtuple lib:data-rtuple
• layered-state lib:layered-state
• prologue lib:prologue