idris-0.11: Functional Programming Language with Dependent Types

Safe HaskellNone
LanguageHaskell98

Idris.IdeMode

Synopsis

Documentation

data WhatDocs Source

Constructors

Overview 
Full 

data Opt Source

Constructors

ShowImpl 
ErrContext 

Instances

ideModeEpoch :: Int Source

The version of the IDE mode command set. Increment this when you change it so clients can adapt.