unison-parser-typechecker-0.0.0
Safe HaskellNone
LanguageHaskell2010

Unison.Syntax.DeclParser

Documentation

synDeclsP :: forall (m :: Type -> Type) v. (Monad m, Var v) => P v m [SynDecl v] Source #

data SynDecl v Source #

Constructors

SynDecl'Data !(SynDataDecl v) 
SynDecl'Effect !(SynEffectDecl v) 

Instances

Instances details
Annotated (SynDecl v) Source # 
Instance details

Defined in Unison.Syntax.DeclParser

Methods

ann :: SynDecl v -> Ann #

synDeclConstructors :: SynDecl v -> [(Ann, v, Type v Ann)] Source #

synDeclName :: SynDecl v -> Token v Source #

data SynDataDecl v Source #

Constructors

SynDataDecl 

Fields

Instances

Instances details
Generic (SynDataDecl v) Source # 
Instance details

Defined in Unison.Syntax.DeclParser

Associated Types

type Rep (SynDataDecl v) 
Instance details

Defined in Unison.Syntax.DeclParser

type Rep (SynDataDecl v) = D1 ('MetaData "SynDataDecl" "Unison.Syntax.DeclParser" "unison-parser-typechecker-0.0.0-9Dzq7Hdutm9Hkedg7C7TJ1" 'False) (C1 ('MetaCons "SynDataDecl" 'PrefixI 'True) ((S1 ('MetaSel ('Just "annotation") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Ann) :*: (S1 ('MetaSel ('Just "constructors") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 [(Ann, v, Type v Ann)]) :*: S1 ('MetaSel ('Just "fields") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Maybe [(Token v, Type v Ann)])))) :*: (S1 ('MetaSel ('Just "modifier") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Modifier) :*: (S1 ('MetaSel ('Just "name") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Token v)) :*: S1 ('MetaSel ('Just "tyvars") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 [v])))))

Methods

from :: SynDataDecl v -> Rep (SynDataDecl v) x #

to :: Rep (SynDataDecl v) x -> SynDataDecl v #

type Rep (SynDataDecl v) Source # 
Instance details

Defined in Unison.Syntax.DeclParser

type Rep (SynDataDecl v) = D1 ('MetaData "SynDataDecl" "Unison.Syntax.DeclParser" "unison-parser-typechecker-0.0.0-9Dzq7Hdutm9Hkedg7C7TJ1" 'False) (C1 ('MetaCons "SynDataDecl" 'PrefixI 'True) ((S1 ('MetaSel ('Just "annotation") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Ann) :*: (S1 ('MetaSel ('Just "constructors") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 [(Ann, v, Type v Ann)]) :*: S1 ('MetaSel ('Just "fields") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Maybe [(Token v, Type v Ann)])))) :*: (S1 ('MetaSel ('Just "modifier") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Modifier) :*: (S1 ('MetaSel ('Just "name") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Token v)) :*: S1 ('MetaSel ('Just "tyvars") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 [v])))))

data SynEffectDecl v Source #

Constructors

SynEffectDecl 

Fields

Instances

Instances details
Generic (SynEffectDecl v) Source # 
Instance details

Defined in Unison.Syntax.DeclParser

Associated Types

type Rep (SynEffectDecl v) 
Instance details

Defined in Unison.Syntax.DeclParser

type Rep (SynEffectDecl v) = D1 ('MetaData "SynEffectDecl" "Unison.Syntax.DeclParser" "unison-parser-typechecker-0.0.0-9Dzq7Hdutm9Hkedg7C7TJ1" 'False) (C1 ('MetaCons "SynEffectDecl" 'PrefixI 'True) ((S1 ('MetaSel ('Just "annotation") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Ann) :*: S1 ('MetaSel ('Just "constructors") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 [(Ann, v, Type v Ann)])) :*: (S1 ('MetaSel ('Just "modifier") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Modifier) :*: (S1 ('MetaSel ('Just "name") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Token v)) :*: S1 ('MetaSel ('Just "tyvars") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 [v])))))

Methods

from :: SynEffectDecl v -> Rep (SynEffectDecl v) x #

to :: Rep (SynEffectDecl v) x -> SynEffectDecl v #

type Rep (SynEffectDecl v) Source # 
Instance details

Defined in Unison.Syntax.DeclParser

type Rep (SynEffectDecl v) = D1 ('MetaData "SynEffectDecl" "Unison.Syntax.DeclParser" "unison-parser-typechecker-0.0.0-9Dzq7Hdutm9Hkedg7C7TJ1" 'False) (C1 ('MetaCons "SynEffectDecl" 'PrefixI 'True) ((S1 ('MetaSel ('Just "annotation") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Ann) :*: S1 ('MetaSel ('Just "constructors") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 [(Ann, v, Type v Ann)])) :*: (S1 ('MetaSel ('Just "modifier") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Modifier) :*: (S1 ('MetaSel ('Just "name") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Token v)) :*: S1 ('MetaSel ('Just "tyvars") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 [v])))))