Data.Apiary.Extension.Internal

Documentation

newtype Initializer i m o

Constructors

Initializer

Fields

unInitializer :: Extensions i -> m (Extensions o)

data Extensions es where

Constructors

NoExtension :: Extensions `[]`

AddExtension :: (e :: *) -> Extensions es -> Extensions (e : es)

class Has a as where

Methods

getExtension :: proxy a -> Extensions as -> a

Instances

Has a as => Has a (: * a' as)

Has a (: * a as)