ribosome-host-0.9.9.9: Neovim plugin host for Polysemy
Safe HaskellSafe-Inferred
LanguageHaskell2010

Ribosome.Host.Class.Msgpack.DecodeSOP

Documentation

type ReifySOP (d :: Type) (dss :: [[Type]]) = (Generic d, GTo d, GCode d ~ dss, All2 Top dss) Source #

type ConstructSOP (d :: Type) (dss :: [[Type]]) = (Generic d, GFrom d, GCode d ~ dss, All2 Top dss) Source #

class MsgpackCtor (ctor :: ConstructorInfo) (as :: [Type]) Source #

class MsgpackCtors (ctors :: [ConstructorInfo]) (ass :: [[Type]]) where Source #

Methods

msgpackCtors :: Object -> Either Text (SOP I ass) Source #

class GMsgpackDecode (dt :: DatatypeInfo) (ass :: [[Type]]) where Source #

Methods

gMsgpackDecode :: Object -> Either Text (SOP I ass) Source #

Instances

Instances details
MsgpackDecode a => GMsgpackDecode ('Newtype mod name ctor) '['[a]] Source # 
Instance details

Defined in Ribosome.Host.Class.Msgpack.DecodeSOP

Methods

gMsgpackDecode :: Object -> Either Text (SOP I '['[a]]) Source #

MsgpackCtors ctors ass => GMsgpackDecode ('ADT mod name ctors strictness) ass Source # 
Instance details

Defined in Ribosome.Host.Class.Msgpack.DecodeSOP

Methods

gMsgpackDecode :: Object -> Either Text (SOP I ass) Source #

class MsgpackDecode a where Source #

Minimal complete definition

Nothing

Methods

fromMsgpack :: Object -> Either Text a Source #

default fromMsgpack :: ConstructSOP a ass => ReifySOP a ass => GMsgpackDecode (GDatatypeInfoOf a) (GCode a) => Object -> Either Text a Source #

pattern Msgpack :: forall a. MsgpackDecode a => a -> Object Source #