|
75 | 75 |
|
76 | 76 | data CacheFactory :: * |
77 | 77 |
|
78 | | - type Key = String |
| 78 | + type Key = String |
79 | 79 |
|
80 | | - type Name = String |
| 80 | + type Name = String |
81 | 81 |
|
82 | 82 | data NgCache :: ! |
83 | 83 |
|
|
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 |
|
|
471 | 473 |
|
472 | 474 | type IntervalEff e r = Eff (nginterval :: NgInterval | e) r |
473 | 475 |
|
474 | | - type IntervalPromise = Promise Unit Number |
| 476 | + type IntervalPromise = Promise Unit Number |
475 | 477 |
|
476 | 478 | data NgInterval :: ! |
477 | 479 |
|
|
593 | 595 |
|
594 | 596 | type Parser a = String -> Maybe a |
595 | 597 |
|
596 | | - type ValidationErrorKey = String |
| 598 | + type ValidationErrorKey = String |
597 | 599 |
|
598 | 600 |
|
599 | 601 | ### Values |
|
645 | 647 |
|
646 | 648 | ### Types |
647 | 649 |
|
648 | | - type Expression = String |
| 650 | + type Expression = String |
649 | 651 |
|
650 | 652 | data Getter :: * -> * |
651 | 653 |
|
|
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 |
|
|
890 | 892 |
|
891 | 893 | ### Types |
892 | 894 |
|
893 | | - type Event = { keyCode :: Number } |
| 895 | + type Event = { keyCode :: Number } |
894 | 896 |
|
895 | 897 |
|
896 | 898 | ## Module DOM.Node |
|
1006 | 1008 |
|
1007 | 1009 | data ForeignTimeout :: * |
1008 | 1010 |
|
1009 | | - type Header = Tuple String (Either String (Unit -> String)) |
| 1011 | + type Header = Tuple String (Either String (Unit -> String)) |
1010 | 1012 |
|
1011 | 1013 | newtype Headers where |
1012 | 1014 | Headers :: [Header] -> Headers |
|
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 |
|
|
1068 | 1070 | InternalServerError :: Status |
1069 | 1071 | OtherStatus :: Number -> Status |
1070 | 1072 |
|
1071 | | - type Url = String |
| 1073 | + type Url = String |
1072 | 1074 |
|
1073 | 1075 |
|
1074 | 1076 | ### Type Class Instances |
|
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