integration-0.1.0
Safe HaskellSafe-Inferred
LanguageGHC2021

Test.MLS.SubConversation

Documentation

data Leaver Source #

Constructors

Alice 
Bob 

Instances

Instances details
Generic Leaver Source # 
Instance details

Defined in Test.MLS.SubConversation

Associated Types

type Rep Leaver :: Type -> Type #

Methods

from :: Leaver -> Rep Leaver x #

to :: Rep Leaver x -> Leaver #

type Rep Leaver Source # 
Instance details

Defined in Test.MLS.SubConversation

type Rep Leaver = D1 ('MetaData "Leaver" "Test.MLS.SubConversation" "integration-0.1.0-3ATitUsC6IZKz3Fn68yYH1" 'False) (C1 ('MetaCons "Alice" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Bob" 'PrefixI 'False) (U1 :: Type -> Type))