| Safe Haskell | None |
|---|
Control.ConstraintKinds.Pointed
Documentation
class Functor f => Pointed f whereSource
Associated Types
type PointedConstraint f x :: ConstraintSource
Methods
point :: PointedConstraint f a => a -> f aSource
ConstraintKinds-1.3.0: Repackages standard type classes with the ConstraintKinds extension
| Safe Haskell | None |
|---|
Control.ConstraintKinds.Pointed
class Functor f => Pointed f whereSource
Associated Types
type PointedConstraint f x :: ConstraintSource
Methods
point :: PointedConstraint f a => a -> f aSource