Resolve.Types

Documentation

type Resolve a b = a -> IO b

data Resolver a b

Constructors

Resolver

Fields

• resolve :: Resolve a b
• delete :: IO ()

data ResolveException where

Constructors

ResolveException :: Exception e => e -> ResolveException

Instances

Show ResolveException

Methods

showsPrec :: Int -> ResolveException -> ShowS

show :: ResolveException -> String

showList :: [ResolveException] -> ShowS

Exception ResolveException

Methods

toException :: ResolveException -> SomeException

fromException :: SomeException -> Maybe ResolveException

displayException :: ResolveException -> String

resolveExceptionToException :: Exception e => e -> SomeException

resolveExceptionFromException :: Typeable * b => SomeException -> Maybe b