Idris.Primitives

Documentation

primitives :: [Prim]

data Prim

Constructors

Prim

Fields

p_name :: Name

p_type :: Type

p_arity :: Int

p_def :: [Const] -> Maybe Const

p_lexp :: (Int, PrimFn)

p_total :: Totality