This repository has been archived on 2025-06-25. You can view files and clone it, but you cannot make any changes to it's state, such as pushing and creating new issues, pull requests or comments.
RiscV-Formal/hs/Util.hs

10 lines
150 B
Haskell

{-# LANGUAGE DataKinds #-}
{-# LANGUAGE NumericUnderscores #-}
module Util(
(|>),
) where
(|>) :: (a -> b) -> a -> b
f |> x = f x
infixr 0 |>