{-# LANGUAGE ForeignFunctionInterface, TypeFamilies, MultiParamTypeClasses, FlexibleInstances, TypeSynonymInstances, EmptyDataDecls, ExistentialQuantification, ScopedTypeVariables #-} -- module HROOT.Class.Interface where module HROOT.Class.TPad.Interface where import Data.Word import Foreign.ForeignPtr import HROOT.TypeCast import HROOT.Class.TPad.RawType import HROOT.Class.TVirtualPad.Interface class (ITVirtualPad a) => ITPad a where instance Existable TPad where data Exist TPad = forall a. (FPtr a, ITPad a) => ETPad a upcastTPad :: (FPtr a, ITPad a) => a -> TPad upcastTPad h = let fh = get_fptr h fh2 :: ForeignPtr RawTPad = castForeignPtr fh in cast_fptr_to_obj fh2