Safe Haskell	Safe-Inferred
Language	Haskell2010

Constrained.DependencyInjection

Documentation

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 #

type HintD d ∷ Type → Type Source #

Instances details

Dependencies Deps Source #
Instance details Defined in Constrained.Base Associated Types type HasSpecD Deps ∷ Type → Constraint Source # type TypeSpecD Deps ∷ Type → Type Source # type LogicD Deps ∷ ([Type] → Type → Type) → Constraint Source # type ForallableD Deps ∷ Type → Type → Constraint Source # type HasGenHintD Deps ∷ Type → Constraint Source # type HintD Deps ∷ Type → Type Source #