Safe Haskell	None
Language	Haskell2010

Data.Constraint

Synopsis

Documentation

The kind of constraints, like Show a

data Dict a where Source #

Constructors

Dict :: a => Dict a

Instances

Functor Constraint * (:-) ((->) LiftedRep LiftedRep) Dict Source #
Methods map :: Dict a b -> t (f a) (f b) #
a => Bounded (Dict a) Source #
Methods minBound :: Dict a # maxBound :: Dict a #
a => Enum (Dict a) Source #
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 #
Methods (==) :: Dict a -> Dict a -> Bool # (/=) :: Dict a -> Dict a -> Bool #
Ord (Dict a) Source #
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 #
Methods readsPrec :: Int -> ReadS (Dict a) # readList :: ReadS [Dict a] # readPrec :: ReadPrec (Dict a) # readListPrec :: ReadPrec [Dict a] #
Show (Dict a) Source #
Methods showsPrec :: Int -> Dict a -> ShowS # show :: Dict a -> String # showList :: [Dict a] -> ShowS #
Semigroup (Dict a) Source #
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 #
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 Constraint (:-) Source #
Methods id :: cat a a # (.) :: cat b c -> cat a b -> cat a c #
Functor Constraint * (:-) ((->) LiftedRep LiftedRep) Dict Source #
Methods map :: Dict a b -> t (f a) (f b) #
Eq ((:-) a b) Source #
Methods (==) :: (a :- b) -> (a :- b) -> Bool # (/=) :: (a :- b) -> (a :- b) -> Bool #
Ord ((:-) a b) Source #
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 #
Methods showsPrec :: Int -> (a :- b) -> ShowS # show :: (a :- b) -> String # showList :: [a :- b] -> ShowS #

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