TsBridge.Types

data AppError

Constructors

• ErrInvalidPursModuleName String
• ErrUnquantifiedTypeVariables (Set TsName)
• AtModule String AppError
• AtValue String AppError
• AtType String AppError
• ErrTsName TsNameError
• ErrDuplicateIdentifier TsName

Instances

• Generic AppError _
• Eq AppError
• Ord AppError
• Show AppError

newtype Name

Instances

• Eq Name
• Ord Name
• Show Name

newtype PursModuleName

data TsNameError

Constructors

• ErrReserveredWord String
• ErrInvalidBeginning String
• ErrInvalidCharacter Char
• ErrEmpty

Instances

• Generic TsNameError _
• Eq TsNameError
• Ord TsNameError
• Show TsNameError

class CapError :: (Type -> Type) -> Constraintclass (MonadError AppError m) <= CapError m 

class CapThrow :: (Type -> Type) -> Constraintclass (MonadThrow AppError m) <= CapThrow m 

mapErr :: forall e m a. MonadError e m => (e -> e) -> m a -> m a

mkName :: forall m. MonadThrow AppError m => String -> m Name

mkPursModuleName :: forall m. MonadError AppError m => String -> m PursModuleName

printError :: AppError -> String

printName :: Name -> String

toTsName :: Name -> TsName

unsafeName :: String -> Name