Searched refs:DomainFull (Results 1 – 15 of 15) sorted by relevance
241 | DomainFull a constructor247 dropTypeAndModality (DomainFull (TBind _ xs _)) =249 dropTypeAndModality (DomainFull TLet{}) = []288 DomainFull ty -> ty775 getHiding (DomainFull a) = getHiding a777 mapHiding f (DomainFull a) = DomainFull $ mapHiding f a849 getRange (DomainFull b) = getRange b1093 killRange (DomainFull t) = killRange1 DomainFull t1339 rnf (DomainFull a) = rnf a
271 | DomainFull TypedBinding constructor597 getHiding (DomainFull tb) = getHiding tb599 mapHiding f (DomainFull tb) = DomainFull $ mapHiding f tb612 getRange (DomainFull b) = getRange b737 killRange (DomainFull b) = killRange1 DomainFull b
275 DomainFull bs -> DomainFull <$> recurseExpr f bs279 DomainFull bs -> foldExpr f bs283 DomainFull bs -> DomainFull <$> traverseExpr f bs
871 | TypedBinding LamBinds { fmap (DomainFull $1 :) $2 }873 | TypedBinding { mkLamBinds [DomainFull $1] }882 | TypedBinding LamBinds { Left $ fmap (DomainFull $1 :) $2 }886 | TypedBinding { Left $ mkLamBinds [DomainFull $1] }934 | TypedBinding TypedUntypedBindings1 { DomainFull $1 <| $2 }936 | TypedBinding { singleton $ DomainFull $1 }943 | TypedBinding TypedUntypedBindings { DomainFull $1 : $2 }
889 | TypedBinding LamBinds { Right (DomainFull $1) : $2 }891 | TypedBinding { [Right $ DomainFull $1] }900 | TypedBinding LamBinds { Left $ Right (DomainFull $1) : $2 }904 | TypedBinding { Left [Right $ DomainFull $1] }975 | TypedBinding TypedUntypedBindings1 { DomainFull $1 : $2 }977 | TypedBinding { [DomainFull $1] }984 | TypedBinding TypedUntypedBindings { DomainFull $1 : $2 }
788 lamView (A.Lam _ b@(A.DomainFull A.TLet{}) e) = case lamView e of789 (bs@(A.DomainFull _ : _), e) -> (b:bs, e)791 lamView (A.Lam _ (A.DomainFull (A.TBind r t xs ty)) e) =794 x:xs' -> let b = A.DomainFull (A.TBind r t (x :| xs') ty) in796 (bs@(A.DomainFull _ : _), e) -> (b:bs, e)897 makeDomainFree b@(A.DomainFull (A.TBind _ tac (x :| []) t)) =948 bindToConcrete (A.DomainFull b) ret = bindToConcrete b $ ret . fmap C.DomainFull1162 return [ C.DataSig (getRange i) x' (map C.DomainFull $ catMaybes tel') t' ]1175 return [ C.RecordSig (getRange i) x' (map C.DomainFull $ catMaybes tel') t' ]
1070 blank bound (A.DomainFull bs) = A.DomainFull $ blank bound bs1115 varsBoundIn (A.DomainFull b) = varsBoundIn b
797 localToAbstract (fmap (C.DomainFull . makeDomainFull) bs) $ \ bs -> do1097 toAbstract (C.DomainFull tb) = fmap A.DomainFull <$> toAbstract tb1100 makeDomainFull (C.DomainFull b) = b1225 C.DomainFull a -> ensureNoLetStms a
173 DomainFull bs -> DomainFull $ mapE bs
294 pretty (DomainFull b) = pretty b
501 CheckExpr cmp (A.Lam A.exprNoRange (A.DomainFull b) body) tgt525 let e = A.Lam A.exprNoRange (A.DomainFull b) body1204 A.Lam i (A.DomainFull b) e -> checkLambda cmp b e t1439 A.DomainFull $ A.mkTBind r (singleton $ unnamedArg info $ fmap A.mkBindName x)
1060 bindParameters npars par@(A.DomainFull (A.TBind _ _ xs e) : bs) a ret =1067 bindParameters _ (A.DomainFull A.TLet{} : _) _ _ = __IMPOSSIBLE__
271 lamView (A.Lam i (DomainFull (TBind r t (x :| xs) a)) e) =273 Just (namedArg x, A.Lam i (DomainFull $ TBind r t xs a) e)426 e = A.Lam Info.exprNoRange (DomainFull bs) body
395 TEST_F(PolicyWatcherTest, DomainFull) { in TEST_F() argument
367 A.DomainFull bind -> hilite bind