|
111 | 111 | RootElement :: Element -> RootElement |
112 | 112 |
|
113 | 113 | newtype RootScope a where |
114 | | - RootScope :: Scope a -> RootScope |
| 114 | + RootScope :: Scope a -> RootScope a |
115 | 115 |
|
116 | 116 |
|
117 | 117 | ### Type Classes |
|
122 | 122 | class Injectable a where |
123 | 123 | dependencies :: a -> [String] |
124 | 124 |
|
| 125 | + class (Dependency a) <= Service a where |
| 126 | + |
125 | 127 |
|
126 | 128 | ### Type Class Instances |
127 | 129 |
|
|
754 | 756 | ### Types |
755 | 757 |
|
756 | 758 | data ApplyExpr e r a where |
757 | | - DefaultApplyExpr :: ApplyExpr |
758 | | - StringApplyExpr :: String -> ApplyExpr |
759 | | - FnApplyExpr :: (Scope a -> Eff e r) -> ApplyExpr |
| 759 | + DefaultApplyExpr :: ApplyExpr e r a |
| 760 | + StringApplyExpr :: String -> ApplyExpr e r a |
| 761 | + FnApplyExpr :: (Scope a -> Eff e r) -> ApplyExpr e r a |
760 | 762 |
|
761 | 763 | type Event e a b = { defaultPrevented :: Boolean, preventDefault :: Eff e Unit, stopPropagation :: Eff e Unit, name :: String, currentScope :: Scope b, targetScope :: Scope a } |
762 | 764 |
|
|
1026 | 1028 | data NgHttp :: ! |
1027 | 1029 |
|
1028 | 1030 | data RequestData a where |
1029 | | - NoRequestData :: RequestData |
1030 | | - StringRequestData :: String -> RequestData |
1031 | | - ObjectRequestData :: a -> RequestData |
| 1031 | + NoRequestData :: RequestData a |
| 1032 | + StringRequestData :: String -> RequestData a |
| 1033 | + ObjectRequestData :: a -> RequestData a |
1032 | 1034 |
|
1033 | 1035 | type RequestDataFn a = { objectRequestData :: a -> RequestData a, stringRequestData :: String -> RequestData a, noRequestData :: RequestData a } |
1034 | 1036 |
|
1035 | 1037 | data ResponseData a where |
1036 | | - NoResponseData :: ResponseData |
1037 | | - DefaultResponseData :: String -> ResponseData |
1038 | | - ArrayBufferResponseData :: D.ArrayBuffer -> ResponseData |
1039 | | - BlobResponseData :: D.Blob -> ResponseData |
1040 | | - DocumentResponseData :: D.Document -> ResponseData |
1041 | | - JsonResponseData :: a -> ResponseData |
1042 | | - TextResponseData :: String -> ResponseData |
1043 | | - MozBlobResponseData :: D.MozBlob -> ResponseData |
1044 | | - MozChunkedTextResponseData :: D.MozChunkedText -> ResponseData |
1045 | | - MozChunkedArrayBufferResponseData :: D.MozChunkedArrayBuffer -> ResponseData |
| 1038 | + NoResponseData :: ResponseData a |
| 1039 | + DefaultResponseData :: String -> ResponseData a |
| 1040 | + ArrayBufferResponseData :: D.ArrayBuffer -> ResponseData a |
| 1041 | + BlobResponseData :: D.Blob -> ResponseData a |
| 1042 | + DocumentResponseData :: D.Document -> ResponseData a |
| 1043 | + JsonResponseData :: a -> ResponseData a |
| 1044 | + TextResponseData :: String -> ResponseData a |
| 1045 | + MozBlobResponseData :: D.MozBlob -> ResponseData a |
| 1046 | + MozChunkedTextResponseData :: D.MozChunkedText -> ResponseData a |
| 1047 | + MozChunkedArrayBufferResponseData :: D.MozChunkedArrayBuffer -> ResponseData a |
1046 | 1048 |
|
1047 | 1049 | type ResponseDataFn a = { mozChunkedArrayBufferResponseData :: D.MozChunkedArrayBuffer -> ResponseData a, mozChunkedTextResponseData :: D.MozChunkedText -> ResponseData a, mozBlobResponseData :: D.MozBlob -> ResponseData a, textResponseData :: String -> ResponseData a, jsonResponseData :: a -> ResponseData a, documentResponseData :: D.Document -> ResponseData a, blobResponseData :: D.Blob -> ResponseData a, arrayBufferResponseData :: D.ArrayBuffer -> ResponseData a, defaultResponseData :: String -> ResponseData a, noResponseData :: ResponseData a } |
1048 | 1050 |
|
|
1110 | 1112 | ### Types |
1111 | 1113 |
|
1112 | 1114 | newtype PromiseEff e f a b where |
1113 | | - PromiseEff :: Promise (Eff e a) (Eff f b) -> PromiseEff |
| 1115 | + PromiseEff :: Promise (Eff e a) (Eff f b) -> PromiseEff e f a b |
1114 | 1116 |
|
1115 | 1117 |
|
1116 | 1118 | ### Type Class Instances |
|
0 commit comments