| Safe Haskell | None |
|---|---|
| Language | GHC2021 |
Plutarch.Internal.Subtype
Synopsis
- data PSubtypeRelation
- type family PSubtype (a :: S -> Type) (b :: S -> Type) where ...
- type family PSubtype' (a :: S -> Type) (b :: S -> Type) :: PSubtypeRelation where ...
- pupcast :: forall (a :: S -> Type) (b :: S -> Type) (s :: S). PSubtype a b => Term s b -> Term s a
- pto :: forall (a :: S -> Type) (s :: S). Term s a -> Term s (PInner a)
- punsafeDowncast :: forall (s :: S) (a :: S -> Type). Term s (PInner a) -> Term s a
Documentation
data PSubtypeRelation Source #
Constructors
| PSubtypeRelation | |
| PNoSubtypeRelation |
type family PSubtype (a :: S -> Type) (b :: S -> Type) where ... Source #
Equations
| PSubtype a b = (PSubtype' a b ~ 'PSubtypeRelation, PSubtypeHelper a b (PSubtype' a b)) |
type family PSubtype' (a :: S -> Type) (b :: S -> Type) :: PSubtypeRelation where ... Source #
Equations
| PSubtype' a a = 'PSubtypeRelation | |
| PSubtype' a b = Helper a b (PInner b) |
pupcast :: forall (a :: S -> Type) (b :: S -> Type) (s :: S). PSubtype a b => Term s b -> Term s a Source #