Idris2Doc : Language.Reflection.TT

Language.Reflection.TT

Constant : Type
Totality: total
Constructors:
I : Int -> Constant
BI : Integer -> Constant
B8 : Int -> Constant
B16 : Int -> Constant
B32 : Int -> Constant
B64 : Integer -> Constant
Str : String -> Constant
Ch : Char -> Constant
Db : Double -> Constant
WorldVal : Constant
IntType : Constant
IntegerType : Constant
Bits8Type : Constant
Bits16Type : Constant
Bits32Type : Constant
Bits64Type : Constant
StringType : Constant
CharType : Constant
DoubleType : Constant
WorldType : Constant
Count : Type
Totality: total
Constructors:
M0 : Count
M1 : Count
MW : Count
FC : Type
Totality: total
Constructors:
MkFC : String -> FilePos -> FilePos -> FC
EmptyFC : FC
FilePos : Type
IsVar : Name -> Nat -> ListName -> Type
Totality: total
Constructors:
First : IsVarnZ (n::ns)
Later : IsVarnins -> IsVarn (Si) (m::ns)
LazyReason : Type
Totality: total
Constructors:
LInf : LazyReason
LLazy : LazyReason
LUnknown : LazyReason
Name : Type
Totality: total
Constructors:
UN : String -> Name
MN : String -> Int -> Name
NS : Namespace -> Name -> Name
DN : String -> Name -> Name
RF : String -> Name
NameType : Type
Totality: total
Constructors:
Bound : NameType
Func : NameType
DataCon : Int -> Nat -> NameType
TyCon : Int -> Nat -> NameType
Namespace : Type
Totality: total
Constructor: 
MkNS : List String -> Namespace
PiInfo : Type -> Type
Totality: total
Constructors:
ImplicitArg : PiInfot
ExplicitArg : PiInfot
AutoImplicit : PiInfot
DefImplicit : t -> PiInfot
TT : Type
Totality: total
TotalReq : Type
Totality: total
Constructors:
Total : TotalReq
CoveringOnly : TotalReq
PartialOK : TotalReq
Visibility : Type
Totality: total
Constructors:
Private : Visibility
Export : Visibility
Public : Visibility
emptyFC : FC
showSep : String -> List String -> String