{-# LANGUAGE OverloadedStrings, LambdaCase #-}

module Funcons.Core.Values.TypesBuiltin where

import Funcons.EDSL 
import qualified Funcons.Operations as VAL

library = libFromList [
    ("datatype-values", fromNullaryValOp datatype_values_ VAL.datatype_values_)
  , ("ground-values", fromNullaryValOp ground_values_ VAL.ground_values_)
  , ("ground-vals", fromNullaryValOp ground_values_ VAL.ground_values_)
--  , ("null", fromNullaryValOp null_ VAL.null_)
--  , ("null-type", fromNullaryValOp nulltype_ VAL.nulltype_)
  , ("types", fromNullaryValOp types_ VAL.types_)
  , ("value-types", fromNullaryValOp value_types_ VAL.value_types_)
  ]

types_ = applyFuncon "types"
value_types_ = applyFuncon "value-types"
nulltype_ = applyFuncon "null-type"
datatype_values_ = applyFuncon "datatype-values" 
null_ = applyFuncon "null"
ground_values_ = applyFuncon "ground-values"