idris-1.3.1: Functional Programming Language with Dependent Types

LicenseBSD3
MaintainerThe Idris Community.
Safe HaskellNone
LanguageHaskell2010

Idris.IdeMode

Description

 
Synopsis

Documentation

data WhatDocs Source #

Constructors

Overview 
Full 

toSExp :: SExpable a => a -> SExp Source #

data SExp Source #

Instances
Eq SExp Source # 
Instance details

Defined in Idris.IdeMode

Methods

(==) :: SExp -> SExp -> Bool #

(/=) :: SExp -> SExp -> Bool #

Show SExp Source # 
Instance details

Defined in Idris.IdeMode

Methods

showsPrec :: Int -> SExp -> ShowS #

show :: SExp -> String #

showList :: [SExp] -> ShowS #

SExpable SExp Source # 
Instance details

Defined in Idris.IdeMode

Methods

toSExp :: SExp -> SExp Source #

class SExpable a Source #

Minimal complete definition

toSExp

Instances
SExpable Bool Source # 
Instance details

Defined in Idris.IdeMode

Methods

toSExp :: Bool -> SExp Source #

SExpable Int Source # 
Instance details

Defined in Idris.IdeMode

Methods

toSExp :: Int -> SExp Source #

SExpable Integer Source # 
Instance details

Defined in Idris.IdeMode

Methods

toSExp :: Integer -> SExp Source #

SExpable String Source # 
Instance details

Defined in Idris.IdeMode

Methods

toSExp :: String -> SExp Source #

SExpable Name Source # 
Instance details

Defined in Idris.IdeMode

Methods

toSExp :: Name -> SExp Source #

SExpable OutputAnnotation Source # 
Instance details

Defined in Idris.IdeMode

SExpable NameOutput Source # 
Instance details

Defined in Idris.IdeMode

SExpable FC Source # 
Instance details

Defined in Idris.IdeMode

Methods

toSExp :: FC -> SExp Source #

SExpable SExp Source # 
Instance details

Defined in Idris.IdeMode

Methods

toSExp :: SExp -> SExp Source #

SExpable a => SExpable [a] Source # 
Instance details

Defined in Idris.IdeMode

Methods

toSExp :: [a] -> SExp Source #

SExpable a => SExpable (Maybe a) Source # 
Instance details

Defined in Idris.IdeMode

Methods

toSExp :: Maybe a -> SExp Source #

(SExpable a, SExpable b) => SExpable (a, b) Source # 
Instance details

Defined in Idris.IdeMode

Methods

toSExp :: (a, b) -> SExp Source #

(SExpable a, SExpable b, SExpable c) => SExpable (a, b, c) Source # 
Instance details

Defined in Idris.IdeMode

Methods

toSExp :: (a, b, c) -> SExp Source #

(SExpable a, SExpable b, SExpable c, SExpable d) => SExpable (a, b, c, d) Source # 
Instance details

Defined in Idris.IdeMode

Methods

toSExp :: (a, b, c, d) -> SExp Source #

(SExpable a, SExpable b, SExpable c, SExpable d, SExpable e) => SExpable (a, b, c, d, e) Source # 
Instance details

Defined in Idris.IdeMode

Methods

toSExp :: (a, b, c, d, e) -> SExp Source #

data Opt Source #

Constructors

ShowImpl 
ErrContext 
Instances
Show Opt Source # 
Instance details

Defined in Idris.IdeMode

Methods

showsPrec :: Int -> Opt -> ShowS #

show :: Opt -> String #

showList :: [Opt] -> ShowS #

ideModeEpoch :: Int Source #

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