Skip to content

Commit

Permalink
Implement some new atoms
Browse files Browse the repository at this point in the history
  • Loading branch information
@fizruk
fizruk committed Dec 9, 2024
1 parent 636fc27 commit 5ae471f
Showing 1 changed file with 54 additions and 54 deletions.
108 changes: 54 additions & 54 deletions eo-phi-normalizer/src/Language/EO/Phi/Dataize/Atoms.hs
View file
Original file line number Diff line number Diff line change
Expand Up @@ -34,8 +34,8 @@ import Language.EO.Phi.Syntax

knownAtomsList :: [(String, String -> Object -> EvaluationState -> DataizeChain (Object, EvaluationState))]
knownAtomsList =
[ ("Lorg_eolang_as_phi", _)
, ("Lorg_eolang_int_gt", evaluateIntIntBoolFunChain (>))
-- [ ("Lorg_eolang_as_phi", _)
[ ("Lorg_eolang_int_gt", evaluateIntIntBoolFunChain (>))
, ("Lorg_eolang_int_plus", evaluateIntIntIntFunChain (+))
, ("Lorg_eolang_int_times", evaluateIntIntIntFunChain (*))
, ("Lorg_eolang_int_div", evaluateIntIntIntFunChain quot)
Expand Down Expand Up @@ -65,10 +65,10 @@ knownAtomsList =
, ("Lorg_eolang_bytes_xor", evaluateBytesBytesBytesFunChain (.^.))
, -- deprecated
("Lorg_eolang_dataized", evaluateUnaryDataizationFunChain id id wrapBytesInBytes (extractLabel "target") id)
, ("Lorg_eolang_cage_encaged_encage", _)
, ("Lorg_eolang_cage_encaged_φ", _)
, ("Lorg_eolang_cage_φ", _)
, ("Lorg_eolang_error", evaluateUnaryDataizationFunChain stringToBytes bytesToString wrapBytesInBytes (extractLabel "message") error)
, -- , ("Lorg_eolang_cage_encaged_encage", _)
-- , ("Lorg_eolang_cage_encaged_φ", _)
-- , ("Lorg_eolang_cage_φ", _)
("Lorg_eolang_error", evaluateUnaryDataizationFunChain stringToBytes bytesToString wrapBytesInBytes (extractLabel "message") error)
, -- float
-- deprecated
("Lorg_eolang_float_gt", evaluateBinaryDataizationFunChain boolToBytes bytesToFloat wrapBytesInBytes extractRho (extractLabel "x") (>))
Expand All @@ -86,45 +86,45 @@ knownAtomsList =
("Lorg_eolang_float_plus", evaluateFloatFloatFloatFunChain (+))
, -- deprecated
("Lorg_eolang_float_div", evaluateFloatFloatFloatFunChain (/))
, ("Lorg_eolang_fs_dir_made_mkdir", _)
, ("Lorg_eolang_fs_dir_tmpfile_touch", _)
, ("Lorg_eolang_fs_dir_walk", _)
, ("Lorg_eolang_fs_file_deleted_delete", _)
, ("Lorg_eolang_fs_file_exists", _)
, ("Lorg_eolang_fs_file_is_directory", _)
, ("Lorg_eolang_fs_file_moved_move", _)
, ("Lorg_eolang_fs_file_open_file_stream_read_read_bytes", _)
, ("Lorg_eolang_fs_file_open_file_stream_write_written_bytes", _)
, ("Lorg_eolang_fs_file_open_process_file", _)
, ("Lorg_eolang_fs_file_size", _)
, ("Lorg_eolang_fs_file_touched_touch", _)
, ("Lorg_eolang_i16_as_i32", _)
, ("Lorg_eolang_i32_as_i64", _)
, ("Lorg_eolang_i64_as_number", _)
, ("Lorg_eolang_i64_div", _)
, ("Lorg_eolang_i64_gt", _)
, ("Lorg_eolang_i64_plus", _)
, ("Lorg_eolang_i64_times", _)
, ("Lorg_eolang_malloc_of_allocated_read", _)
, ("Lorg_eolang_malloc_of_allocated_resize", _)
, ("Lorg_eolang_malloc_of_allocated_size", _)
, ("Lorg_eolang_malloc_of_allocated_write", _)
, ("Lorg_eolang_malloc_of_φ", _)
, ("Lorg_eolang_math_angle_cos", _)
, ("Lorg_eolang_math_angle_sin", _)
, ("Lorg_eolang_math_real_acos", _)
, ("Lorg_eolang_math_real_asin", _)
, ("Lorg_eolang_math_real_ln", _)
, ("Lorg_eolang_math_real_pow", _)
, ("Lorg_eolang_math_real_sqrt", _)
, ("Lorg_eolang_number_as_i64", _)
, ("Lorg_eolang_number_div", _)
, ("Lorg_eolang_number_floor", _)
, ("Lorg_eolang_number_gt", _)
, ("Lorg_eolang_number_plus", _)
, ("Lorg_eolang_number_times", _)
, ("Lorg_eolang_rust", _)
, -- string
, -- , ("Lorg_eolang_fs_dir_made_mkdir", _)
-- , ("Lorg_eolang_fs_dir_tmpfile_touch", _)
-- , ("Lorg_eolang_fs_dir_walk", _)
-- , ("Lorg_eolang_fs_file_deleted_delete", _)
-- , ("Lorg_eolang_fs_file_exists", _)
-- , ("Lorg_eolang_fs_file_is_directory", _)
-- , ("Lorg_eolang_fs_file_moved_move", _)
-- , ("Lorg_eolang_fs_file_open_file_stream_read_read_bytes", _)
-- , ("Lorg_eolang_fs_file_open_file_stream_write_written_bytes", _)
-- , ("Lorg_eolang_fs_file_open_process_file", _)
-- , ("Lorg_eolang_fs_file_size", _)
-- , ("Lorg_eolang_fs_file_touched_touch", _)
("Lorg_eolang_i16_as_i32", evaluateUnaryDataizationFunChain intToBytes bytesToInt wrapBytesInConstInt extractRho id)
, ("Lorg_eolang_i32_as_i64", evaluateUnaryDataizationFunChain intToBytes bytesToInt wrapBytesInConstInt extractRho id)
, ("Lorg_eolang_i64_as_number", evaluateUnaryDataizationFunChain floatToBytes bytesToInt wrapBytesInConstInt extractRho fromIntegral)
, ("Lorg_eolang_i64_div", evaluateIntIntIntFunChain div)
, ("Lorg_eolang_i64_gt", evaluateIntIntBoolFunChain (>))
, ("Lorg_eolang_i64_plus", evaluateIntIntIntFunChain (+))
, ("Lorg_eolang_i64_times", evaluateIntIntIntFunChain (*))
, -- , ("Lorg_eolang_malloc_of_allocated_read", _)
-- , ("Lorg_eolang_malloc_of_allocated_resize", _)
-- , ("Lorg_eolang_malloc_of_allocated_size", _)
-- , ("Lorg_eolang_malloc_of_allocated_write", _)
-- , ("Lorg_eolang_malloc_of_φ", _)
("Lorg_eolang_math_angle_cos", evaluateUnaryDataizationFunChain floatToBytes bytesToFloat wrapBytesInConstFloat extractRho cos)
, ("Lorg_eolang_math_angle_sin", evaluateUnaryDataizationFunChain floatToBytes bytesToFloat wrapBytesInConstFloat extractRho sin)
, ("Lorg_eolang_math_real_acos", evaluateUnaryDataizationFunChain floatToBytes bytesToFloat wrapBytesInConstFloat extractRho acos)
, ("Lorg_eolang_math_real_asin", evaluateUnaryDataizationFunChain floatToBytes bytesToFloat wrapBytesInConstFloat extractRho asin)
, ("Lorg_eolang_math_real_ln", evaluateUnaryDataizationFunChain floatToBytes bytesToFloat wrapBytesInConstFloat extractRho log)
, ("Lorg_eolang_math_real_pow", evaluateFloatFloatFloatFunChain (**))
, ("Lorg_eolang_math_real_sqrt", evaluateUnaryDataizationFunChain floatToBytes bytesToFloat wrapBytesInConstFloat extractRho sqrt)
, ("Lorg_eolang_number_as_i64", evaluateUnaryDataizationFunChain intToBytes bytesToFloat wrapBytesInConstInt extractRho round)
, ("Lorg_eolang_number_div", evaluateFloatFloatFloatFunChain (/))
, ("Lorg_eolang_number_floor", evaluateUnaryDataizationFunChain intToBytes bytesToFloat wrapBytesInConstInt extractRho floor)
, ("Lorg_eolang_number_gt", evaluateBinaryDataizationFunChain boolToBytes bytesToFloat wrapBytesInBytes extractRho (extractLabel "x") (>))
, ("Lorg_eolang_number_plus", evaluateFloatFloatFloatFunChain (+))
, ("Lorg_eolang_number_times", evaluateFloatFloatFloatFunChain (*))
, -- , ("Lorg_eolang_rust", _)
-- string
("Lorg_eolang_string_length", evaluateUnaryDataizationFunChain intToBytes bytesToString wrapBytesInConstInt extractRho length)
,
( "Lorg_eolang_string_slice"
Expand All @@ -136,15 +136,15 @@ knownAtomsList =
evaluateBinaryDataizationFunChain stringToBytes bytesToInt wrapBytesInConstString (extractLabel "start") (extractLabel "len") (\start len -> take len (drop start string)) name obj state
)
, -- others
("Lorg_eolang_sys_os_name", _)
, ("Lorg_eolang_sys_posix_φ", _)
, ("Lorg_eolang_sys_win32_φ", _)
, ("Lorg_eolang_try", _)
, ("Lorg_eolang_txt_regex_compiled", _)
, ("Lorg_eolang_txt_regex_pattern_match_matched_from_index", _)
, ("Lorg_eolang_txt_sprintf", _)
, ("Lorg_eolang_txt_sscanf", _)
,
-- , ("Lorg_eolang_sys_os_name", _)
-- , ("Lorg_eolang_sys_posix_φ", _)
-- , ("Lorg_eolang_sys_win32_φ", _)
-- , ("Lorg_eolang_try", _)
-- , ("Lorg_eolang_txt_regex_compiled", _)
-- , ("Lorg_eolang_txt_regex_pattern_match_matched_from_index", _)
-- , ("Lorg_eolang_txt_sprintf", _)
-- , ("Lorg_eolang_txt_sscanf", _)

( "Package"
, let
f _name obj@(Formation bindings) = do
Expand Down

0 comments on commit 5ae471f

Please sign in to comment.