Skip to content

Instantly share code, notes, and snippets.

Tony Morris tonymorris

Block or report user

Report or block tonymorris

Hide content and notifications from this user.

Learn more about blocking users

Contact Support about this user’s behavior.

Learn more about reporting abuse

Report abuse
View GitHub Profile
View why-lazy.hs
foldRight' ::
(b -> z -> z)
-> (a -> b)
-> z
-> [a]
-> z
foldRight' _ _ z [] =
z
foldRight' k f z (x:xs) =
k (f x) (foldRight' k f z xs)
View ybaf-20191109.md

Eurofox 5530 runway changes

liveatc YBAF2-Nov-09-2019-0430Z

  • 12:07 join final 28L
  • 14:06 join upwind 28R
  • 18:15 join base 28R
  • 18:23 join base 22R
  • 19:28 make right turn to position for 04
  • 20:23 join base 04R
View john-ban-private-final.md

Regarding John De Goes

We are contacting you privately to give you advance notice of disciplinary action we will be taking against John De Goes tomorrow.

Effective tomorrow morning, John De Goes will be indefinitely barred from participating in Typelevel projects, with the most relevant impact being on Cats Effect. This writing is an attempt to lay out the facts of the situation, with as much historical context as is relevant, and with maximal openness and transparency. We also want to make it clear that we're here to answer whatever questions you may have, in whatever forum is relevant. We don't want there to be an confusion or uncertainty about what and why.

A Thousand Cuts

To be clear, this is not about Code of Conduct violation. This is a response to a long and unbroken pattern of behavior. This is an action of community moderation, taken after almost a year of discussion and review and internal consideration.

@tonymorris
tonymorris / atc-bak-question-53.md
Created Oct 31, 2019
Aviation Theory Centre, Basic Aeronautical Knowledge, Question 53
View atc-bak-question-53.md

ATC Basic Aeronautical Knowledge

Question 53


We are given

Aircraft Value
View x.hs
-- ew
(%~?) ::
(Cons b b a a, Alternative f, AsEmpty b) =>
ASetter s t (f b) (f b)
-> a
-> s
-> t
(%~?) k a =
k %~ \x -> fmap (cons a) (x <|> pure (_Empty # ()))
View blocks.hs
-- testBlocks == testBlocks2
testBlocks ::
Blocks String
testBlocks =
Blocks
[
StyledBlock
(
ParagraphBlock
(
View ew.hs
data Blah f =
Blah
Int
(Maybe (f String))
sblah :: Lens' (Blah f) (Maybe (f String))
sblah f (Blah n s) = fmap (\s' -> Blah n s') (f s)
-- |
View ghci-liftA2.md
λ> liftA2 (const id) (putStrLn "hi" >>= \_ -> readFile "/etc/passwd") (putStrLn "bye")
hi
bye
λ> id     (const id) (putStrLn "hi" >>= \_ -> readFile "/etc/passwd") (putStrLn "bye")
bye
λ>        (const id) (putStrLn "hi" >>= \_ -> readFile "/etc/passwd") (putStrLn "bye")
bye
λ> liftA2 (const id) [1,2,3] [4,5,6]
[4,5,6,4,5,6,4,5,6]
View is-foldl-useful-lc.hs
import Data.Foldable
data X' =
A
| B
| C
| Z
deriving (Eq, Show)
data X =
View blah.hs
nonEmptyIso ::
Iso [a] [b] (Maybe (NonEmpty a)) (Maybe (NonEmpty b))
nonEmptyIso =
iso
(
\case
[] ->
Nothing
h:t ->
You can’t perform that action at this time.