Safe Haskell	None
Language	Haskell2010

Data.Constraint

Synopsis

data Constraint
data Dict a where
- Dict :: a => Dict a
withDict :: Dict a -> (a => b) -> b
newtype a :- b = Sub (a => Dict b)
(\\) :: (b => c) -> (a :- b) -> a => c
unmapDict :: (Dict a -> Dict b) -> a :- b

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 Methods readsPrec :: Int -> ReadS (Dict a) # readList :: ReadS [Dict a] # readPrec :: ReadPrec (Dict a) # readListPrec :: ReadPrec [Dict a] #
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 #