base-compat-0.14.1: A compatibility layer for base
Safe HaskellTrustworthy
LanguageHaskell2010

Data.Type.Coercion.Compat

Documentation

gcoerceWith :: forall {k} (a :: k) (b :: k) r. Coercion a b -> (Coercible a b => r) -> r #

data Coercion (a :: k) (b :: k) where #

Constructors

Coercion :: forall {k} (a :: k) (b :: k). Coercible a b => Coercion a b 

Instances

Instances details
TestCoercion (Coercion a :: k -> Type) 
Instance details

Defined in GHC.Internal.Data.Type.Coercion

Methods

testCoercion :: forall (a0 :: k) (b :: k). Coercion a a0 -> Coercion a b -> Maybe (Coercion a0 b) #

Coercible a b => Bounded (Coercion a b) 
Instance details

Defined in GHC.Internal.Data.Type.Coercion

Methods

minBound :: Coercion a b #

maxBound :: Coercion a b #

Coercible a b => Enum (Coercion a b) 
Instance details

Defined in GHC.Internal.Data.Type.Coercion

Methods

succ :: Coercion a b -> Coercion a b #

pred :: Coercion a b -> Coercion a b #

toEnum :: Int -> Coercion a b #

fromEnum :: Coercion a b -> Int #

enumFrom :: Coercion a b -> [Coercion a b] #

enumFromThen :: Coercion a b -> Coercion a b -> [Coercion a b] #

enumFromTo :: Coercion a b -> Coercion a b -> [Coercion a b] #

enumFromThenTo :: Coercion a b -> Coercion a b -> Coercion a b -> [Coercion a b] #

Coercible a b => Read (Coercion a b) 
Instance details

Defined in GHC.Internal.Data.Type.Coercion

Show (Coercion a b) 
Instance details

Defined in GHC.Internal.Data.Type.Coercion

Methods

showsPrec :: Int -> Coercion a b -> ShowS #

show :: Coercion a b -> String #

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

Eq (Coercion a b) 
Instance details

Defined in GHC.Internal.Data.Type.Coercion

Methods

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

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

Ord (Coercion a b) 
Instance details

Defined in GHC.Internal.Data.Type.Coercion

Methods

compare :: Coercion a b -> Coercion a b -> Ordering #

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

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

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

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

max :: Coercion a b -> Coercion a b -> Coercion a b #

min :: Coercion a b -> Coercion a b -> Coercion a b #

coerceWith :: Coercion a b -> a -> b #

repr :: forall {k} (a :: k) (b :: k). (a :~: b) -> Coercion a b #

sym :: forall {k} (a :: k) (b :: k). Coercion a b -> Coercion b a #

trans :: forall {k} (a :: k) (b :: k) (c :: k). Coercion a b -> Coercion b c -> Coercion a c #

class TestCoercion (f :: k -> Type) where #

Methods

testCoercion :: forall (a :: k) (b :: k). f a -> f b -> Maybe (Coercion a b) #

Instances

Instances details
TestCoercion (Coercion a :: k -> Type) 
Instance details

Defined in GHC.Internal.Data.Type.Coercion

Methods

testCoercion :: forall (a0 :: k) (b :: k). Coercion a a0 -> Coercion a b -> Maybe (Coercion a0 b) #

TestCoercion ((:~:) a :: k -> Type) 
Instance details

Defined in GHC.Internal.Data.Type.Coercion

Methods

testCoercion :: forall (a0 :: k) (b :: k). (a :~: a0) -> (a :~: b) -> Maybe (Coercion a0 b) #

TestCoercion ((:~~:) a :: k -> Type) 
Instance details

Defined in GHC.Internal.Data.Type.Coercion

Methods

testCoercion :: forall (a0 :: k) (b :: k). (a :~~: a0) -> (a :~~: b) -> Maybe (Coercion a0 b) #

gcoerceWith :: forall {k} (a :: k) (b :: k) r. Coercion a b -> (Coercible a b => r) -> r #