constraint-0.1.3.0: Reified constraints

Safe HaskellNone
LanguageHaskell2010

Data.Constraint

Synopsis

Documentation

data Constraint #

The kind of constraints, like Show a

data Dict a where Source #

Constructors

Dict :: a => Dict a 
Instances
Functor (:-) ((->) :: Type -> Type -> Type) Dict Source # 
Instance details

Defined in Data.Constraint

Methods

map :: (a :- b) -> Dict a -> Dict b #

a => Bounded (Dict a) Source # 
Instance details

Defined in Data.Constraint

Methods

minBound :: Dict a #

maxBound :: Dict a #

a => Enum (Dict a) Source # 
Instance details

Defined in Data.Constraint

Methods

succ :: Dict a -> Dict a #

pred :: Dict a -> Dict a #

toEnum :: Int -> Dict a #

fromEnum :: Dict a -> Int #

enumFrom :: Dict a -> [Dict a] #

enumFromThen :: Dict a -> Dict a -> [Dict a] #

enumFromTo :: Dict a -> Dict a -> [Dict a] #

enumFromThenTo :: Dict a -> Dict a -> Dict a -> [Dict a] #

Eq (Dict a) Source # 
Instance details

Defined in Data.Constraint

Methods

(==) :: Dict a -> Dict a -> Bool #

(/=) :: Dict a -> Dict a -> Bool #

Ord (Dict a) Source # 
Instance details

Defined in Data.Constraint

Methods

compare :: Dict a -> Dict a -> Ordering #

(<) :: Dict a -> Dict a -> Bool #

(<=) :: Dict a -> Dict a -> Bool #

(>) :: Dict a -> Dict a -> Bool #

(>=) :: Dict a -> Dict a -> Bool #

max :: Dict a -> Dict a -> Dict a #

min :: Dict a -> Dict a -> Dict a #

a => Read (Dict a) Source # 
Instance details

Defined in Data.Constraint

Show (Dict a) Source # 
Instance details

Defined in Data.Constraint

Methods

showsPrec :: Int -> Dict a -> ShowS #

show :: Dict a -> String #

showList :: [Dict a] -> ShowS #

Semigroup (Dict a) Source # 
Instance details

Defined in Data.Constraint

Methods

(<>) :: Dict a -> Dict a -> Dict a #

sconcat :: NonEmpty (Dict a) -> Dict a #

stimes :: Integral b => b -> Dict a -> Dict a #

a => Monoid (Dict a) Source # 
Instance details

Defined in Data.Constraint

Methods

mempty :: Dict a #

mappend :: Dict a -> Dict a -> Dict a #

mconcat :: [Dict a] -> Dict a #

withDict :: Dict a -> (a => b) -> b Source #

newtype a :- b Source #

Constructors

Sub (a => Dict b) 
Instances
Category (:-) Source # 
Instance details

Defined in Data.Constraint

Methods

id :: a :- a #

(.) :: (b :- c) -> (a :- b) -> a :- c #

Functor (:-) ((->) :: Type -> Type -> Type) Dict Source # 
Instance details

Defined in Data.Constraint

Methods

map :: (a :- b) -> Dict a -> Dict b #

Eq (a :- b) Source # 
Instance details

Defined in Data.Constraint

Methods

(==) :: (a :- b) -> (a :- b) -> Bool #

(/=) :: (a :- b) -> (a :- b) -> Bool #

Ord (a :- b) Source # 
Instance details

Defined in Data.Constraint

Methods

compare :: (a :- b) -> (a :- b) -> Ordering #

(<) :: (a :- b) -> (a :- b) -> Bool #

(<=) :: (a :- b) -> (a :- b) -> Bool #

(>) :: (a :- b) -> (a :- b) -> Bool #

(>=) :: (a :- b) -> (a :- b) -> Bool #

max :: (a :- b) -> (a :- b) -> a :- b #

min :: (a :- b) -> (a :- b) -> a :- b #

Show (a :- b) Source # 
Instance details

Defined in Data.Constraint

Methods

showsPrec :: Int -> (a :- b) -> ShowS #

show :: (a :- b) -> String #

showList :: [a :- b] -> ShowS #

Semigroup (a :- b) Source # 
Instance details

Defined in Data.Constraint

Methods

(<>) :: (a :- b) -> (a :- b) -> a :- b #

sconcat :: NonEmpty (a :- b) -> a :- b #

stimes :: Integral b0 => b0 -> (a :- b) -> a :- b #

(\\) :: (b => c) -> (a :- b) -> a => c Source #

unmapDict :: (Dict a -> Dict b) -> a :- b Source #