Searched defs:instantiateFull (Results 1 – 3 of 3) sorted by relevance
56 instantiateFull = liftReduce . instantiateFull' function1259 instantiateFull' = return function1262 instantiateFull' = return function1265 instantiateFull' = return function1268 instantiateFull' = return function1271 instantiateFull' = return function1274 instantiateFull' = return function1280 instantiateFull' = return function1288 instantiateFull' s = do function1363 instantiateFull' cl = do function[all …]
408 instantiateFull' (AsB x v a m) = AsB x <$> instantiateFull' v <*> instantiateFull' a <*> pure m function
645 instantiateFull' (LHSResult n tel ps abs t sub as psplit) = LHSResult n function