| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Constrained.DependencyInjection
Documentation
class Dependencies d Source #
Associated Types
type HasSpecD d ∷ Type → Constraint Source #
type TypeSpecD d ∷ Type → Type Source #
type LogicD d ∷ ([Type] → Type → Type) → Constraint Source #
type ForallableD d ∷ Type → Type → Constraint Source #
type HasGenHintD d ∷ Type → Constraint Source #
Instances
| Dependencies Deps Source # | |
Defined in Constrained.Base | |