Safe Haskell	None
Language	GHC2024

Drasil.Shared.Classes

Documentation

class Pair (p :: (k -> Type) -> (k -> Type) -> k -> Type) where Source #

Methods

pfst :: forall x (y :: k -> Type) (a :: k). p x y a -> x a Source #

psnd :: forall (x :: k -> Type) y (b :: k). p x y b -> y b Source #

pair :: forall x (a :: k) y. x a -> y a -> p x y a Source #

Instances details

Pair (CppCode :: (k -> Type) -> (k -> Type) -> k -> Type) Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CppRenderer Methods pfst :: forall x (y :: k -> Type) (a :: k). CppCode x y a -> x a Source # psnd :: forall (x :: k -> Type) y (b :: k). CppCode x y b -> y b Source # pair :: forall x (a :: k) y. x a -> y a -> CppCode x y a Source #