Copyright	License : BSD3
Maintainer	The Idris Community.
Safe Haskell	None
Language	Haskell98

IRTS.Portable

Contents

Orphan instances

Description

Documentation

writePortable :: Handle -> CodegenInfo -> IO () Source #

Orphan instances

ToJSON Const Source #
Methods toJSON :: Const -> Value # toEncoding :: Const -> Encoding #
ToJSON ArithTy Source #
Methods toJSON :: ArithTy -> Value # toEncoding :: ArithTy -> Encoding #
ToJSON IntTy Source #
Methods toJSON :: IntTy -> Value # toEncoding :: IntTy -> Encoding #
ToJSON Name Source #
Methods toJSON :: Name -> Value # toEncoding :: Name -> Encoding #
ToJSON CaseType Source #
Methods toJSON :: CaseType -> Value # toEncoding :: CaseType -> Encoding #
ToJSON LOpt Source #
Methods toJSON :: LOpt -> Value # toEncoding :: LOpt -> Encoding #
ToJSON LDecl Source #
Methods toJSON :: LDecl -> Value # toEncoding :: LDecl -> Encoding #
ToJSON LAlt Source #
Methods toJSON :: LAlt -> Value # toEncoding :: LAlt -> Encoding #
ToJSON PrimFn Source #
Methods toJSON :: PrimFn -> Value # toEncoding :: PrimFn -> Encoding #
ToJSON ExportIFace Source #
Methods toJSON :: ExportIFace -> Value # toEncoding :: ExportIFace -> Encoding #
ToJSON Export Source #
Methods toJSON :: Export -> Value # toEncoding :: Export -> Encoding #
ToJSON FDesc Source #
Methods toJSON :: FDesc -> Value # toEncoding :: FDesc -> Encoding #
ToJSON LExp Source #
Methods toJSON :: LExp -> Value # toEncoding :: LExp -> Encoding #
ToJSON LVar Source #
Methods toJSON :: LVar -> Value # toEncoding :: LVar -> Encoding #
ToJSON DDecl Source #
Methods toJSON :: DDecl -> Value # toEncoding :: DDecl -> Encoding #
ToJSON DAlt Source #
Methods toJSON :: DAlt -> Value # toEncoding :: DAlt -> Encoding #
ToJSON DExp Source #
Methods toJSON :: DExp -> Value # toEncoding :: DExp -> Encoding #
ToJSON SDecl Source #
Methods toJSON :: SDecl -> Value # toEncoding :: SDecl -> Encoding #
ToJSON SAlt Source #
Methods toJSON :: SAlt -> Value # toEncoding :: SAlt -> Encoding #
ToJSON SExp Source #
Methods toJSON :: SExp -> Value # toEncoding :: SExp -> Encoding #
ToJSON CodegenInfo Source #
Methods toJSON :: CodegenInfo -> Value # toEncoding :: CodegenInfo -> Encoding #
ToJSON BC Source #
Methods toJSON :: BC -> Value # toEncoding :: BC -> Encoding #
ToJSON Reg Source #
Methods toJSON :: Reg -> Value # toEncoding :: Reg -> Encoding #