Idris2Doc : Go.AST.Combinators

Go.AST.Combinators

(source)
Reexports
import public Data.List
import public Data.List1
import public Data.List.Quantifiers
import public Go.AST
import public Go.Token
Definitions
interface Commentable : Type -> Type
  Parameters: a
Methods:
  
setComments : CommentGroup -> a -> a

Implementations:
  
Statement (AssignmentStatement ls rs) => Commentable (AssignmentStatement ls rs)
  
Statement (ExpressionStatement e) => Commentable (ExpressionStatement e)
  
Specification (ValueSpec e es) => Commentable (ValueSpec e es)
setComments : Commentable a => CommentGroup -> a -> a
  Visibility: public export
comment : Commentable a => String -> a -> a
  Visibility: export
comments : Commentable a => (cs : List String) -> {auto 0 _ : NonEmpty cs} -> a -> a
  Visibility: export
interface Documentable : Type -> Type
  Parameters: a
Methods:
  
setDocs : CommentGroup -> a -> a

Implementations:
  
Statement (AssignmentStatement ls rs) => Documentable (AssignmentStatement ls rs)
  
Specification (ValueSpec ls rs) => Documentable (ValueSpec ls rs)
  
Statement (ExpressionStatement e) => Documentable (ExpressionStatement e)
  
Statement (ReturnStatement rs) => Documentable (ReturnStatement rs)
  
Declaration (FuncDeclaration rcs ts ps rs sts) => Documentable (FuncDeclaration rcs ts ps rs sts)
setDocs : Documentable a => CommentGroup -> a -> a
  Visibility: public export
doc : Documentable a => String -> a -> a
  Visibility: export
docs : Documentable a => (ds : List String) -> {auto 0 _ : NonEmpty ds} -> a -> a
  Visibility: export
data Package : Type
  Totality: total
  Visibility: export
  Constructor: 
MkPackage : String -> Package
package : String -> Package
  Visibility: export
id_ : String -> Identifier
  Visibility: export
file : {auto 0 ok : All Declaration ds} -> String -> Package -> List ImportSpec -> HList ds -> File ds
  Visibility: export
runeL : Char -> BasicLiteral
  Visibility: export
charL : Char -> BasicLiteral
  Visibility: export
stringL : String -> BasicLiteral
  Visibility: export
intL : Int -> BasicLiteral
  Visibility: export
floatL : Double -> BasicLiteral
  Visibility: export
expL : Double -> Int -> BasicLiteral
  Visibility: export
imagL : Int -> BasicLiteral
  Visibility: export
boolL : Bool -> BasicLiteral
  Visibility: export
compositL : GoType t => All Expression es => t -> HList es -> CompositLiteral t es
  Visibility: export
compositL' : All Expression es => HList es -> CompositLiteral BadType es
  Visibility: export
funcL : All Statement sts => FieldList ps -> FieldList rs -> HList sts -> FunctionLiteral [] ps rs sts
  Visibility: export
import_ : String -> ImportSpec
  Visibility: export
importN : String -> String -> ImportSpec
  Visibility: export
void : FieldList []
  Visibility: export
fields : {auto {conArg:6063} : GoType t} -> List String -> t -> Field t
  Visibility: export
fields' : List String -> Field BadType
  Visibility: export
field : {auto {conArg:6111} : GoType t} -> String -> t -> Field t
  Visibility: export
field' : String -> Field BadType
  Visibility: export
fieldT : {auto {conArg:6159} : GoType t} -> t -> Field t
  Visibility: export
tid : String -> String -> TypeIdentifier
  Visibility: export
tid' : String -> TypeIdentifier
  Visibility: export
struct : FieldList ts -> StructType ts
  Visibility: export
array : Expression l => GoType t => l -> t -> ArrayType l t
  Visibility: export
array' : GoType t => t -> ArrayType BadExpression t
  Visibility: export
map_ : GoType k => GoType v => k -> v -> MapType k v
  Visibility: export
func' : FieldList ps -> FieldList rs -> FunctionType [] ps rs
  Visibility: export
bool : TypeIdentifier
  Visibility: export
string : TypeIdentifier
  Visibility: export
int : TypeIdentifier
  Visibility: export
int8 : TypeIdentifier
  Visibility: export
int16 : TypeIdentifier
  Visibility: export
int32 : TypeIdentifier
  Visibility: export
int64 : TypeIdentifier
  Visibility: export
uint : TypeIdentifier
  Visibility: export
uint8 : TypeIdentifier
  Visibility: export
uint16 : TypeIdentifier
  Visibility: export
uint32 : TypeIdentifier
  Visibility: export
uint64 : TypeIdentifier
  Visibility: export
uintptr : TypeIdentifier
  Visibility: export
byte : TypeIdentifier
  Visibility: export
rune : TypeIdentifier
  Visibility: export
float32 : TypeIdentifier
  Visibility: export
float64 : TypeIdentifier
  Visibility: export
complex64 : TypeIdentifier
  Visibility: export
complex128 : TypeIdentifier
  Visibility: export
func : String -> FieldList ps -> FieldList rs -> {auto 0 _ : All Statement sts} -> HList sts -> FuncDeclaration [] [] ps rs sts
  Visibility: export
types : NonEmpty es => All Specification es => HList es -> GenericDeclaration MkType es
  Visibility: export
type : GoType t => String -> FieldList ts -> t -> TypeSpec ts t
  Visibility: export
consts : NonEmpty es => All Specification es => HList es -> GenericDeclaration MkConst es
  Visibility: export
const_ : GoType t => All Expression es => (is : List Identifier) -> {auto 0 _ : NonEmpty is} -> t -> HList es -> ValueSpec t es
  Visibility: export
const' : All Expression es => (is : List Identifier) -> {auto 0 _ : NonEmpty is} -> HList es -> ValueSpec BadType es
  Visibility: export
vars : NonEmpty es => All Specification es => HList es -> GenericDeclaration MkVar es
  Visibility: export
var' : All Expression es => (is : List Identifier) -> {auto 0 _ : NonEmpty is} -> HList es -> ValueSpec BadType es
  Visibility: export
var : GoType t => All Expression es => (is : List Identifier) -> {auto 0 _ : NonEmpty is} -> t -> HList es -> ValueSpec t es
  Visibility: export
block : All Statement ts => HList ts -> BlockStatement ts
  Visibility: export
expr : Expression e => e -> ExpressionStatement e
  Visibility: export
decl : Declaration d => d -> DeclarationStatement d
  Visibility: export
label : Statement s => String -> s -> LabeledStatement s
  Visibility: export
defer : CallExpression f as e -> DeferStatement f as e
  Visibility: export
return : All Expression es => HList es -> ReturnStatement es
  Visibility: export
continue : String -> BranchStatement MkContinue
  Visibility: export
continue_ : BranchStatement MkContinue
  Visibility: export
for_ : Statement i => Expression c => Statement p => All Statement sts => i -> c -> p -> HList sts -> ForStatement i c p sts
  Visibility: export
forever : All Statement sts => HList sts -> ForStatement BadStatement BadExpression BadStatement sts
  Visibility: export
while : Expression c => All Statement sts => c -> HList sts -> ForStatement BadStatement c BadStatement sts
  Visibility: export
rangeKV : Expression r => All Statement sts => String -> String -> r -> HList sts -> KeyValueRangeStatement Identifier Identifier MkDefine r sts
  Visibility: export
rangeV : Expression r => All Statement sts => String -> r -> HList sts -> ValueRangeStatement Identifier MkDefine r sts
  Visibility: export
range : Expression r => All Statement sts => r -> HList sts -> RangeStatement r sts
  Visibility: export
if_ : Expression c => All Statement sts => c -> HList sts -> IfStatement BadStatement c sts BadStatement
  Visibility: export
ifS : Statement i => Expression c => All Statement sts => i -> c -> HList sts -> IfStatement i c sts BadStatement
  Visibility: export
ifE : Expression c => All Statement sts => Statement e => c -> HList sts -> e -> IfStatement BadStatement c sts e
  Visibility: export
ifSE : Statement i => Expression c => All Statement sts => Statement e => i -> c -> HList sts -> e -> IfStatement i c sts e
  Visibility: export
switchS : Statement i => Expression e => All Statement sts => All IsCaseClause sts => i -> e -> HList sts -> SwitchStatement i e sts
  Visibility: export
switch : Expression e => All Statement sts => All IsCaseClause sts => e -> HList sts -> SwitchStatement BadStatement e sts
  Visibility: export
switch' : All Statement sts => All IsCaseClause sts => HList sts -> SwitchStatement BadStatement BadExpression sts
  Visibility: export
case_ : All Expression es => All Statement sts => NonEmpty sts => HList es -> HList sts -> CaseClause es sts
  Visibility: export
default_ : All Statement sts => NonEmpty sts => HList sts -> CaseClause [] sts
  Visibility: export
paren : Expression e => e -> ParenExpression e
  Visibility: export
call : Expression fn => fn -> {auto 0 _ : All Expression args} -> HList args -> CallExpression fn args BadExpression
  Visibility: export
cast_ : GoType t => Expression e => t -> e -> CastExpression t e
  Visibility: export
typeAssert : Expression e => GoType t => e -> t -> TypeAssertExpression e t
  Visibility: export
make : GoType t => All Expression es => t -> HList es -> MakeExpression t es
  Visibility: export
index : Expression e => Expression i => e -> i -> IndexExpression e i
  Visibility: export
slice : Expression e => Expression l => Expression h => Expression m => e -> l -> h -> m -> SliceExpression e l h m
  Visibility: export
sliceLH : Expression e => Expression l => Expression h => e -> l -> h -> SliceExpression e l h BadExpression
  Visibility: export
sliceL : Expression e => Expression l => e -> l -> SliceExpression e l BadExpression BadExpression
  Visibility: export
sliceH : Expression e => Expression h => e -> h -> SliceExpression e BadExpression h BadExpression
  Visibility: export
slice' : Expression e => e -> SliceExpression e BadExpression BadExpression BadExpression
  Visibility: export
inc : Expression e => e -> IncDecStatement e MkInc
  Visibility: export
dec : Expression e => e -> IncDecStatement e MkDec
  Visibility: export
minus' : Expression e => e -> UnaryExpression e
  Visibility: export
(/./) : Expression e => e -> String -> SelectorExpression e
  Visibility: export
  Fixity Declaration: infixl operator, level 3
(/:/) : Expression e1 => Expression e2 => e1 -> e2 -> KeyValueExpression e1 e2
  Visibility: export
  Fixity Declaration: infixl operator, level 3
(/==/) : Expression e1 => Expression e2 => e1 -> e2 -> BinaryExpression e1 e2
  Visibility: export
  Fixity Declaration: infixl operator, level 7
(/!=/) : Expression e1 => Expression e2 => e1 -> e2 -> BinaryExpression e1 e2
  Visibility: export
  Fixity Declaration: infixl operator, level 7
(/</) : Expression e1 => Expression e2 => e1 -> e2 -> BinaryExpression e1 e2
  Visibility: export
  Fixity Declaration: infixl operator, level 7
(/<=/) : Expression e1 => Expression e2 => e1 -> e2 -> BinaryExpression e1 e2
  Visibility: export
  Fixity Declaration: infixl operator, level 7
(/>/) : Expression e1 => Expression e2 => e1 -> e2 -> BinaryExpression e1 e2
  Visibility: export
  Fixity Declaration: infixl operator, level 7
(/>=/) : Expression e1 => Expression e2 => e1 -> e2 -> BinaryExpression e1 e2
  Visibility: export
  Fixity Declaration: infixl operator, level 7
(/+/) : Expression e1 => Expression e2 => e1 -> e2 -> BinaryExpression e1 e2
  Visibility: export
  Fixity Declaration: infixl operator, level 8
(/-/) : Expression e1 => Expression e2 => e1 -> e2 -> BinaryExpression e1 e2
  Visibility: export
  Fixity Declaration: infixl operator, level 8
(/|/) : Expression e1 => Expression e2 => e1 -> e2 -> BinaryExpression e1 e2
  Visibility: export
  Fixity Declaration: infixl operator, level 8
(/^/) : Expression e1 => Expression e2 => e1 -> e2 -> BinaryExpression e1 e2
  Visibility: export
  Fixity Declaration: infixl operator, level 8
(/*/) : Expression e1 => Expression e2 => e1 -> e2 -> BinaryExpression e1 e2
  Visibility: export
  Fixity Declaration: infixl operator, level 9
(///) : Expression e1 => Expression e2 => e1 -> e2 -> BinaryExpression e1 e2
  Visibility: export
  Fixity Declaration: infixl operator, level 9
(/%/) : Expression e1 => Expression e2 => e1 -> e2 -> BinaryExpression e1 e2
  Visibility: export
  Fixity Declaration: infixl operator, level 9
(/<</) : Expression e1 => Expression e2 => e1 -> e2 -> BinaryExpression e1 e2
  Visibility: export
  Fixity Declaration: infixl operator, level 9
(/>>/) : Expression e1 => Expression e2 => e1 -> e2 -> BinaryExpression e1 e2
  Visibility: export
  Fixity Declaration: infixl operator, level 9
(/&/) : Expression e1 => Expression e2 => e1 -> e2 -> BinaryExpression e1 e2
  Visibility: export
  Fixity Declaration: infixl operator, level 9
(/:=/) : All Expression ls => All Expression rs => NonEmpty ls => NonEmpty rs => HList ls -> HList rs -> AssignmentStatement ls rs
  Visibility: export
  Fixity Declaration: infixl operator, level 7
(/=/) : All Expression ls => All Expression rs => NonEmpty ls => NonEmpty rs => HList ls -> HList rs -> AssignmentStatement ls rs
  Visibility: export
  Fixity Declaration: infixl operator, level 7
(/+=/) : All Expression ls => All Expression rs => NonEmpty ls => NonEmpty rs => HList ls -> HList rs -> AssignmentStatement ls rs
  Visibility: export
  Fixity Declaration: infixl operator, level 7
(/-=/) : All Expression ls => All Expression rs => NonEmpty ls => NonEmpty rs => HList ls -> HList rs -> AssignmentStatement ls rs
  Visibility: export
  Fixity Declaration: infixl operator, level 7
ptrOf : Expression e => e -> UnaryExpression e
  Visibility: export
star : Expression e => e -> StarExpression e
  Visibility: export