module WildBind.Description
( ActionDescription
, Describable (..)
) where
import Data.Text (Text)
type ActionDescription = Text
class Describable d where
describe :: d -> ActionDescription
instance (Describable a, Describable b) => Describable (Either a b) where
describe :: Either a b -> ActionDescription
describe = (a -> ActionDescription)
-> (b -> ActionDescription) -> Either a b -> ActionDescription
forall a c b. (a -> c) -> (b -> c) -> Either a b -> c
either a -> ActionDescription
forall d. Describable d => d -> ActionDescription
describe b -> ActionDescription
forall d. Describable d => d -> ActionDescription
describe