2018-12-23 23:52:19 +02:00
|
|
|
{-# LANGUAGE GADTs #-}
|
|
|
|
|
{-# LANGUAGE RankNTypes #-}
|
|
|
|
|
{-# LANGUAGE Safe #-}
|
2018-12-23 23:23:14 +02:00
|
|
|
module Bot.Extension where
|
|
|
|
|
|
2018-12-23 23:52:19 +02:00
|
|
|
import Bot.DSL
|
2018-12-23 23:23:14 +02:00
|
|
|
|
|
|
|
|
data Extension meta = Extension { act :: forall m. (meta ~ Meta m, MonadExtension m) => Request meta -> m (Maybe (Response meta))
|
|
|
|
|
, name :: String }
|
