Data.Reflection.Constraint

Documentation

newtype Reflected c s a

Constructors

Reflected

Fields

• unReflected :: a

Instances

Reifies s (Methods Ord a) => Eq (Reflected Ord s a)

Defined in Data.Reflection.Constraint

Methods

(==) :: Reflected Ord s a -> Reflected Ord s a -> Bool

(/=) :: Reflected Ord s a -> Reflected Ord s a -> Bool

Reifies s (Methods Eq a) => Eq (Reflected Eq s a)

Defined in Data.Reflection.Constraint

Methods

(==) :: Reflected Eq s a -> Reflected Eq s a -> Bool

(/=) :: Reflected Eq s a -> Reflected Eq s a -> Bool

Reifies s (Methods Ord a) => Ord (Reflected Ord s a)

Defined in Data.Reflection.Constraint

Methods

compare :: Reflected Ord s a -> Reflected Ord s a -> Ordering

(<) :: Reflected Ord s a -> Reflected Ord s a -> Bool

(<=) :: Reflected Ord s a -> Reflected Ord s a -> Bool

(>) :: Reflected Ord s a -> Reflected Ord s a -> Bool

(>=) :: Reflected Ord s a -> Reflected Ord s a -> Bool

max :: Reflected Ord s a -> Reflected Ord s a -> Reflected Ord s a

min :: Reflected Ord s a -> Reflected Ord s a -> Reflected Ord s a

Reifies s (Methods Monoid a) => Semigroup (Reflected Monoid s a)

Defined in Data.Reflection.Constraint

Methods

(<>) :: Reflected Monoid s a -> Reflected Monoid s a -> Reflected Monoid s a

sconcat :: NonEmpty (Reflected Monoid s a) -> Reflected Monoid s a

stimes :: Integral b => b -> Reflected Monoid s a -> Reflected Monoid s a

Reifies s (Methods Semigroup a) => Semigroup (Reflected Semigroup s a)

Defined in Data.Reflection.Constraint

Methods

(<>) :: Reflected Semigroup s a -> Reflected Semigroup s a -> Reflected Semigroup s a

sconcat :: NonEmpty (Reflected Semigroup s a) -> Reflected Semigroup s a

stimes :: Integral b => b -> Reflected Semigroup s a -> Reflected Semigroup s a

Reifies s (Methods Monoid a) => Monoid (Reflected Monoid s a)

Defined in Data.Reflection.Constraint

Methods

mempty :: Reflected Monoid s a

mappend :: Reflected Monoid s a -> Reflected Monoid s a -> Reflected Monoid s a

mconcat :: [Reflected Monoid s a] -> Reflected Monoid s a

unReflected' :: proxy s -> Reflected c s a -> a

class Functor (Iso (->)) (->) (Methods c) => Reifiable c where

Minimal complete definition

Nothing

Associated Types

data Methods c a

Methods

reifiable :: Reifies s (Methods c a) => Dict (c (Reflected c s a))

default reifiable :: c (Reflected c s a) => Dict (c (Reflected c s a))

Instances

Reifiable Eq

Defined in Data.Reflection.Constraint

Associated Types

data Methods Eq a

Methods

reifiable :: forall k (s :: k) a. Reifies s (Methods Eq a) => Dict (Eq (Reflected Eq s a))

Reifiable Ord

Defined in Data.Reflection.Constraint

Associated Types

data Methods Ord a

Methods

reifiable :: forall k (s :: k) a. Reifies s (Methods Ord a) => Dict (Ord (Reflected Ord s a))

Reifiable Semigroup

Defined in Data.Reflection.Constraint

Associated Types

data Methods Semigroup a

Methods

reifiable :: forall k (s :: k) a. Reifies s (Methods Semigroup a) => Dict (Semigroup (Reflected Semigroup s a))

Reifiable Monoid

Defined in Data.Reflection.Constraint

Associated Types

data Methods Monoid a

Methods

reifiable :: forall k (s :: k) a. Reifies s (Methods Monoid a) => Dict (Monoid (Reflected Monoid s a))

reifiable' :: (Reifiable c, Reifies s (Methods c a)) => proxy s -> Dict (c (Reflected c s a))

by :: forall c f a. (Reifiable c, Functor (Iso (->)) (->) f) => Methods c a -> (forall a. c a => f a) -> f a