idris-0.9.17: Functional Programming Language with Dependent Types

Safe HaskellNone
LanguageHaskell98

Idris.Reflection

Description

Handy tools for doing reflection.

Documentation

data RArg Source

Constructors

RExplicit 

Fields

argName :: Name
 
argTy :: Raw
 
RImplicit 

Fields

argName :: Name
 
argTy :: Raw
 
RConstraint 

Fields

argName :: Name
 
argTy :: Raw
 

data RTyDecl Source

Constructors

RDeclare Name [RArg] Raw 

rArgToPArg :: RArg -> PArg Source