{-# 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