elvishjerricco / fraxl Goto Github PK

Contributors

Stargazers

Forkers

jellyr silky bradediger gmalecha martyall michaelxavier acowley hughjfchen russellmcc

data ErrorSource a where
  ThrowError :: ErrorSource a

fetchErrorSource :: Fetch ErrorSource (Either String)
fetchErrorSource = traverseASeq $ \ThrowError -> pure $ throwError "Error"

myThrowError :: Fraxl '[ErrorSource] (Either String) Int
myThrowError = dataFetch ThrowError `catchError` \_ -> pure 1

main :: IO ()
main =
  print $ runFraxl (fetchErrorSource |:| fetchNil) myThrowError

type Fetch f m a = ASeq f a -> m (ASeq m a)

type Fetch f m a = ASeq f a -> m (ASeq Identity a)