Skip to content

Instantly share code, notes, and snippets.

View teivah's full-sized avatar
☕
Building my newsletter: The Coder Cafe

Teiva Harsanyi teivah

☕
Building my newsletter: The Coder Cafe
1.2k followers · 12 following
View GitHub Profile
@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
@teivah
teivah / divide.hs
Last active March 16, 2024 13:32
divide :: Float -> Float -> Maybe Float
divide _ 0 = Nothing
divide x y = return (x / y)
@teivah
teivah / monad.hs
Last active March 16, 2024 16:11
plusOne :: Int -> Maybe Int
plusOne x = return (x + 1)
monadEx :: Maybe Int
monadEx = Just 42 >>= plusOne -- Just 43
@teivah
teivah / monad.hs
Created March 16, 2024 12:47
alt2 :: Int -> Maybe Int
alt2 41 = Nothing
alt2 x = return (x + 1)
@teivah
teivah / monad.hs
Last active March 16, 2024 16:10
plusOne :: Int -> Maybe Int
plusOne x = return (x + 1)
@teivah
teivah / monad.hs
Last active March 16, 2024 16:10
plusOne :: Int -> Maybe Int
plusOne x = Just (x + 1)
@teivah
teivah / applicative.hs
Created March 16, 2024 12:31
applicativeEx :: Maybe Int
applicativeEx = (+ 1) <*> Just 42 -- Just 43
@teivah
teivah / functor.hs
Created March 16, 2024 12:30
fmapEx :: Maybe Int
fmapEx = fmap (Just (+ 1)) (Just 42) -- Does not compile
@teivah
teivah / functor.hs
Created March 16, 2024 12:30
fmapEx :: [Int] -- A function returning a list
fmapEx = fmap (+ 1) [1, 2, 3] -- [2, 3, 4]