Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Synopsis
- class HasInferredType t where
- class HasInferredValue t where
- inferredValue :: Lens' (InferOf t # v) (v # t)
- class InferOfConstraint c h where
- inferOfConstraint :: proxy h -> Dict (c (InferOf h))
Documentation
class HasInferredType t where Source #
HasInferredType t
represents that InferOf t
contains a TypeOf t
, which represents its inferred type.
class HasInferredValue t where Source #
HasInferredValue t
represents that InferOf t
contains an inferred value for t
.
class InferOfConstraint c h where Source #
inferOfConstraint :: proxy h -> Dict (c (InferOf h)) Source #
Instances
c (InferOf h) => InferOfConstraint c h Source # | |
Defined in Hyper.Class.Infer.InferOf inferOfConstraint :: proxy h -> Dict (c (InferOf h)) Source # |