Servant.Record

Documentation

data RecordParam (a :: *)

Instances

(Generic a, GHasLink (Rep a ()) sub) => HasLink (RecordParam a :> sub :: Type)

Defined in Servant.Record

Associated Types

type MkLink (RecordParam a :> sub) a :: Type

Methods

toLink :: (Link -> a0) -> Proxy (RecordParam a :> sub) -> Link -> MkLink (RecordParam a :> sub) a0

type MkLink (RecordParam a :> sub :: Type) b

Defined in Servant.Record

type MkLink (RecordParam a :> sub :: Type) b = a -> MkLink sub b