idris-0.9.17.1: Functional Programming Language with Dependent Types

Safe HaskellNone
LanguageHaskell98

Idris.Primitives

Documentation

primitives :: [Prim] Source

data Prim Source

Constructors

Prim 

Fields

p_name :: Name
 
p_type :: Type
 
p_arity :: Int
 
p_def :: [Const] -> Maybe Const
 
p_lexp :: (Int, PrimFn)
 
p_total :: Totality