idris-1.0: Functional Programming Language with Dependent Types

CopyrightLicense : BSD3
MaintainerThe Idris Community.
Safe HaskellNone
LanguageHaskell98

Idris.IdeMode

Description

 

Synopsis

Documentation

convSExp :: SExpable a => String -> a -> Integer -> String #

data WhatDocs #

Constructors

Overview 
Full 

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

data SExp #

Instances

Eq SExp # 

Methods

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

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

Show SExp # 

Methods

showsPrec :: Int -> SExp -> ShowS #

show :: SExp -> String #

showList :: [SExp] -> ShowS #

SExpable SExp # 

Methods

toSExp :: SExp -> SExp #

class SExpable a where #

Minimal complete definition

toSExp

Methods

toSExp :: a -> SExp #

Instances

SExpable Bool # 

Methods

toSExp :: Bool -> SExp #

SExpable Int # 

Methods

toSExp :: Int -> SExp #

SExpable Integer # 

Methods

toSExp :: Integer -> SExp #

SExpable String # 

Methods

toSExp :: String -> SExp #

SExpable Name # 

Methods

toSExp :: Name -> SExp #

SExpable OutputAnnotation # 
SExpable NameOutput # 

Methods

toSExp :: NameOutput -> SExp #

SExpable FC # 

Methods

toSExp :: FC -> SExp #

SExpable SExp # 

Methods

toSExp :: SExp -> SExp #

SExpable a => SExpable [a] # 

Methods

toSExp :: [a] -> SExp #

SExpable a => SExpable (Maybe a) # 

Methods

toSExp :: Maybe a -> SExp #

(SExpable a, SExpable b) => SExpable (a, b) # 

Methods

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

(SExpable a, SExpable b, SExpable c) => SExpable (a, b, c) # 

Methods

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

(SExpable a, SExpable b, SExpable c, SExpable d) => SExpable (a, b, c, d) # 

Methods

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

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

Methods

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

data Opt #

Constructors

ShowImpl 
ErrContext 

Instances

Show Opt # 

Methods

showsPrec :: Int -> Opt -> ShowS #

show :: Opt -> String #

showList :: [Opt] -> ShowS #

ideModeEpoch :: Int #

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