Clr.Types

data T name genArgs

type family MakeT (x :: k) :: Type where ...

type family T_GetName (t :: Type) :: Symbol where ...

type family T_GetGenT (t :: Type) :: [Type] where ...

type PrimTypes

type family IsPrimType (t :: Type) :: Bool where ...

type family HaskToClr (h :: Type) :: Type

type family HaskToClrL (l :: [Type]) :: [Type] where ...

type T_sbyte

type T_byte

type T_short

type T_ushort

type T_int

type T_uint

type T_long

type T_ulong

type T_float

type T_double

type T_decimal

type T_object

type T_string

type T_char

type T_bool

type T_void

type family Members (t :: Type) :: [Type]

type family HasMember (t :: Type) (m :: Type) :: Bool where ...