This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| #https://bcb.github.io/airflow/execute-context | |
| from airflow.models import TaskInstance | |
| ti=TaskInstance(task=t, execution_date=datetime.datetime.now()) | |
| ti.get_template_context() |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| {-# LANGUAGE GADTs, TypeInType, DataKinds, TypeFamilies #-} | |
| {-# LANGUAGE TypeOperators #-} | |
| {-# LANGUAGE TypeApplications #-} | |
| import GHC.TypeLits | |
| import GHC.Types | |
| import Data.Singletons | |
| import Data.Singletons.Prelude | |
| data Format = Lit Symbol | Str | Shown Type |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| import typing as tp | |
| class Abstract: | |
| def func1(self, *, x: int, y: str): | |
| raise NotImplementedError() |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| -- Notes on how to wrap InputT over StateT to maintain the environment around a language repl. | |
| type HaskellLineT = InputT (StateT Env IO) () | |
| runScriptInteractive = runStateT (runInputT defaultSettings loop) (initEnv Nothing) | |
| where | |
| loop :: HaskellLineT | |
| loop = do | |
| minput <- getInputLine "%" | |
| when (isNothing minput) loop |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| import operator | |
| import typing as tp | |
| """ | |
| a. Structure of Parser | |
| p = (s -> Any object) | |
| Partially consuming parser | |
| p1 = (s -> (a, remaining)) |
Loading
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
OlderNewer