| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Clr.Bridge
Documentation
type family BridgeType (x :: Type) :: Type where ... Source #
Equations
| BridgeType () = () | |
| BridgeType t = If (IsPrimType t) (BridgeTypePrim t) (BridgeTypeObject t) |
type family BridgeTypePrim (x :: Type) Source #
Instances
| type BridgeTypePrim (T "System.Boolean" ([] Type)) Source # | |
| type BridgeTypePrim (T "System.Byte" ([] Type)) Source # | |
| type BridgeTypePrim (T "System.Char" ([] Type)) Source # | |
| type BridgeTypePrim (T "System.Double" ([] Type)) Source # | |
| type BridgeTypePrim (T "System.Int16" ([] Type)) Source # | |
| type BridgeTypePrim (T "System.Int32" ([] Type)) Source # | |
| type BridgeTypePrim (T "System.Int64" ([] Type)) Source # | |
| type BridgeTypePrim (T "System.IntPtr" ([] Type)) Source # | |
| type BridgeTypePrim (T "System.SByte" ([] Type)) Source # | |
| type BridgeTypePrim (T "System.Single" ([] Type)) Source # | |
| type BridgeTypePrim (T "System.UInt16" ([] Type)) Source # | |
| type BridgeTypePrim (T "System.UInt32" ([] Type)) Source # | |
| type BridgeTypePrim (T "System.UInt64" ([] Type)) Source # | |
| type BridgeTypePrim (T "System.UIntPtr" ([] Type)) Source # | |
| type BridgeTypePrim (T "System.Void" ([] Type)) Source # | |
type family BridgeTypeObject (x :: Type) Source #
type family BridgeTypeL (a :: [Type]) :: [Type] where ... Source #
Equations
| BridgeTypeL '[] = '[] | |
| BridgeTypeL (x ': xs) = BridgeType x ': BridgeTypeL xs |
type family BridgeTypes (x :: [Type]) :: Type where ... Source #
Equations
| BridgeTypes x = ListToTuple (BridgeTypeL x) |