{-# LANGUAGE ForeignFunctionInterface, TypeFamilies, MultiParamTypeClasses, FlexibleInstances, TypeSynonymInstances, EmptyDataDecls, ExistentialQuantification, ScopedTypeVariables #-} module HROOT.Core.TApplication.RawType where import Foreign.Ptr import FFICXX.Runtime.Cast data RawTApplication newtype TApplication = TApplication (Ptr RawTApplication) deriving (TApplication -> TApplication -> Bool (TApplication -> TApplication -> Bool) -> (TApplication -> TApplication -> Bool) -> Eq TApplication forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a $c== :: TApplication -> TApplication -> Bool == :: TApplication -> TApplication -> Bool $c/= :: TApplication -> TApplication -> Bool /= :: TApplication -> TApplication -> Bool Eq, Eq TApplication Eq TApplication -> (TApplication -> TApplication -> Ordering) -> (TApplication -> TApplication -> Bool) -> (TApplication -> TApplication -> Bool) -> (TApplication -> TApplication -> Bool) -> (TApplication -> TApplication -> Bool) -> (TApplication -> TApplication -> TApplication) -> (TApplication -> TApplication -> TApplication) -> Ord TApplication TApplication -> TApplication -> Bool TApplication -> TApplication -> Ordering TApplication -> TApplication -> TApplication forall a. Eq a -> (a -> a -> Ordering) -> (a -> a -> Bool) -> (a -> a -> Bool) -> (a -> a -> Bool) -> (a -> a -> Bool) -> (a -> a -> a) -> (a -> a -> a) -> Ord a $ccompare :: TApplication -> TApplication -> Ordering compare :: TApplication -> TApplication -> Ordering $c< :: TApplication -> TApplication -> Bool < :: TApplication -> TApplication -> Bool $c<= :: TApplication -> TApplication -> Bool <= :: TApplication -> TApplication -> Bool $c> :: TApplication -> TApplication -> Bool > :: TApplication -> TApplication -> Bool $c>= :: TApplication -> TApplication -> Bool >= :: TApplication -> TApplication -> Bool $cmax :: TApplication -> TApplication -> TApplication max :: TApplication -> TApplication -> TApplication $cmin :: TApplication -> TApplication -> TApplication min :: TApplication -> TApplication -> TApplication Ord, Int -> TApplication -> ShowS [TApplication] -> ShowS TApplication -> String (Int -> TApplication -> ShowS) -> (TApplication -> String) -> ([TApplication] -> ShowS) -> Show TApplication forall a. (Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a $cshowsPrec :: Int -> TApplication -> ShowS showsPrec :: Int -> TApplication -> ShowS $cshow :: TApplication -> String show :: TApplication -> String $cshowList :: [TApplication] -> ShowS showList :: [TApplication] -> ShowS Show) instance () => FPtr (TApplication) where type Raw TApplication = RawTApplication get_fptr :: TApplication -> Ptr (Raw TApplication) get_fptr (TApplication Ptr RawTApplication ptr) = Ptr (Raw TApplication) Ptr RawTApplication ptr cast_fptr_to_obj :: Ptr (Raw TApplication) -> TApplication cast_fptr_to_obj = Ptr (Raw TApplication) -> TApplication Ptr RawTApplication -> TApplication TApplication