Searched refs:SumTyCon (Results 1 – 5 of 5) sorted by relevance
985 | SumTyCon {1070 visibleDataCons (SumTyCon{ data_cons = cs }) = cs1852 | SumTyCon {} <- rhs1894 SumTyCon {} -> False1936 isGenInjAlgRhs (SumTyCon {}) = True1997 SumTyCon { data_cons = cons } function2181 | SumTyCon {} <- rhs2242 | SumTyCon {} <- rhs = True function2349 SumTyCon { data_cons = cons } -> Just cons function2391 SumTyCon { data_cons_size = size } -> size function[all …]
970 | SumTyCon {1055 visibleDataCons (SumTyCon{ data_cons = cs }) = cs1909 | SumTyCon {} <- rhs1941 SumTyCon {} -> False1983 isGenInjAlgRhs (SumTyCon {}) = True2044 SumTyCon { data_cons = cons } function2227 | SumTyCon {} <- rhs2287 | SumTyCon {} <- rhs = True function2394 SumTyCon { data_cons = cons } -> Just cons function2436 SumTyCon { data_cons_size = size } -> size function[all …]
1022 | SumTyCon {1069 mkSumTyConRhs data_cons = SumTyCon data_cons (length data_cons)1109 visibleDataCons (SumTyCon{ data_cons = cs }) = cs1916 | SumTyCon {} <- rhs1958 SumTyCon {} -> False2000 isGenInjAlgRhs (SumTyCon {}) = True2190 | SumTyCon {} <- rhs2251 | SumTyCon {} <- rhs = True function2365 SumTyCon { data_cons = cons } -> Just cons function2414 SumTyCon { data_cons_size = size } -> size function[all …]
1882 ifaceConDecls (SumTyCon { data_cons = cons }) = IfDataTyCon (map ifaceConDecl cons)