Skip to content

Instantly share code, notes, and snippets.

View teivah's full-sized avatar
☕
Current status: Building a newsletter (The Coder Cafe)

Teiva Harsanyi teivah

☕
Current status: Building a newsletter (The Coder Cafe)
1k followers · 12 following
View GitHub Profile
@teivah
teivah / test.java
Created September 1, 2024 21:15
class Foo {
}
@teivah
teivah / 28.java
Last active September 1, 2024 21:21
if ((((notification.orderID == orderID)
|| (notification.customerID == customerID)
|| (eventIDs.contains(notification.eventID)) && (notification.type.toAllStaff || notification.type.toAllOrders))
|| (isAdmin && eventIDs.contains(notification.eventID))
&& (userID != notification.senderID || notification.senderID == null))) {
send(notification);
}
//
@teivah
teivah / functor.hs
Created March 16, 2024 17:26
plusOne :: Maybe (Int -> Int)
plusOne = Just (+ 1)
@teivah
teivah / monad.hs
Created March 16, 2024 17:14
plusOne :: Int -> Maybe Int
plusOne x = Just (x + 1)
@teivah
teivah / monad.hs
Created March 16, 2024 17:11
plusOne :: Int -> Int
plusOne x = x + 1
@teivah
teivah / monad.hs
Created March 16, 2024 15:05
withMonad :: Int -> String -> Maybe String
withMonad age name = do
validateAge age
s <- return (greet name)
return (greet s) -- Just "Hello Hello John"
@teivah
teivah / monad.hs
Created March 16, 2024 14:55
withMonad :: Int -> String -> Maybe String
withMonad age name = do
validateAge age
return (greet name)
@teivah
teivah / monad.hs
Last active March 16, 2024 14:30
withMonad :: Int -> String -> Maybe String
withMonad age name = validateAge age >>= \_ -> return (greet name)
@teivah
teivah / monad.hs
Last active March 16, 2024 13:54
withApplicative :: Int -> String -> Maybe String
withApplicative age name = greet <$> (Just name) <*> validateAge age
@teivah
teivah / monad.hs
Last active March 16, 2024 13:47
validateAge :: Int -> Maybe Int
validateAge age
| age >= 18 = return age
| otherwise = Nothing
greet :: String -> String
greet name = "Hello " ++ name