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