Idris2Doc : Libraries.Utils.Scheme

Libraries.Utils.Scheme

(source)
Definitions
data ForeignObj : Type
  Totality: total
  Visibility: export
isNumber : ForeignObj -> Bool
  Visibility: export
isInteger : ForeignObj -> Bool
  Visibility: export
isFloat : ForeignObj -> Bool
  Visibility: export
isChar : ForeignObj -> Bool
  Visibility: export
isString : ForeignObj -> Bool
  Visibility: export
isProcedure : ForeignObj -> Bool
  Visibility: export
isSymbol : ForeignObj -> Bool
  Visibility: export
isNil : ForeignObj -> Bool
  Visibility: export
isPair : ForeignObj -> Bool
  Visibility: export
isVector : ForeignObj -> Bool
  Visibility: export
isBox : ForeignObj -> Bool
  Visibility: export
unsafeGetInteger : ForeignObj -> Integer
unsafeGetString : ForeignObj -> String
unsafeGetFloat : ForeignObj -> Double
unsafeGetChar : ForeignObj -> Char
unsafeFst : ForeignObj -> ForeignObj
unsafeSnd : ForeignObj -> ForeignObj
unsafeApply : ForeignObj -> ForeignObj -> ForeignObj
unsafeForce : ForeignObj -> ForeignObj
unsafeVectorRef : ForeignObj -> Integer -> ForeignObj
unsafeUnbox : ForeignObj -> ForeignObj
unsafeVectorLength : ForeignObj -> Integer
unsafeVectorToList : ForeignObj -> List ForeignObj
makeSymbol : String -> ForeignObj
unsafeReadSymbol : ForeignObj -> String
evalSchemeStr : String -> IO (Maybe ForeignObj)
  Visibility: export
debugScheme : ForeignObj -> IO ()
  Visibility: export
data Direction : Type
  Totality: total
  Visibility: public export
  Constructors:
  
Write : Direction
  
Readback : Direction
data SchemeObj : Direction -> Type
  Totality: total
  Visibility: public export
  Constructors:
  
Null : SchemeObj t
  
Cons : SchemeObj t -> SchemeObj t -> SchemeObj t
  
IntegerVal : Integer -> SchemeObj t
  
FloatVal : Double -> SchemeObj t
  
StringVal : String -> SchemeObj t
  
CharVal : Char -> SchemeObj t
  
Symbol : String -> SchemeObj t
  
Box : SchemeObj t -> SchemeObj t
  
Vector : Integer -> List (SchemeObj t) -> SchemeObj t
  
Procedure : ForeignObj -> SchemeObj Readback
  
Define : String -> SchemeObj Write -> SchemeObj Write
  
Var : String -> SchemeObj Write
  
Lambda : List String -> SchemeObj Write -> SchemeObj Write
  
Let : String -> SchemeObj Write -> SchemeObj Write -> SchemeObj Write
  
If : SchemeObj Write -> SchemeObj Write -> SchemeObj Write -> SchemeObj Write
  
Case : SchemeObj Write -> List (SchemeObj Write, SchemeObj Write) -> Maybe (SchemeObj Write) -> SchemeObj Write
  
Cond : List (SchemeObj Write, SchemeObj Write) -> Maybe (SchemeObj Write) -> SchemeObj Write
  
Apply : SchemeObj Write -> List (SchemeObj Write) -> SchemeObj Write
evalSchemeObj : SchemeObj Write -> IO (Maybe ForeignObj)
  Visibility: export
decodeObj : ForeignObj -> SchemeObj Readback
  Visibility: export
interface Scheme : Type -> Type
  Parameters: a
Methods:
  
toScheme : a -> SchemeObj Write
  
fromScheme : SchemeObj Readback -> Maybe a

Implementations:
  
Scheme Namespace
  
Scheme UserName
  
Scheme Name
  
Scheme ModuleIdent
  
Scheme OriginDesc
  
Scheme FC
  
Scheme LazyReason
  
Scheme RigCount
  
Scheme Integer
  
Scheme Int
  
Scheme Int8
  
Scheme Int16
  
Scheme Int32
  
Scheme Int64
  
Scheme Bits8
  
Scheme Bits16
  
Scheme Bits32
  
Scheme Bits64
  
Scheme String
  
Scheme Double
  
Scheme Char
  
Scheme Bool
  
Scheme a => Scheme (List a)
  
(Scheme a, Scheme b) => Scheme (a, b)
  
Scheme a => Scheme (Maybe a)
toScheme : Scheme a => a -> SchemeObj Write
  Visibility: public export
fromScheme : Scheme a => SchemeObj Readback -> Maybe a
  Visibility: public export
evalScheme : Scheme a => a -> IO (Maybe ForeignObj)
  Visibility: export
decode : Scheme a => ForeignObj -> Maybe a
  Visibility: export