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.1.0.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