mirror of
https://github.com/zoriya/HAL.git
synced 2026-06-08 15:54:49 +00:00
Initial commi
This commit is contained in:
@@ -0,0 +1,3 @@
|
|||||||
|
.stack-work/
|
||||||
|
*~
|
||||||
|
hal
|
||||||
@@ -0,0 +1,3 @@
|
|||||||
|
# Changelog for HAL
|
||||||
|
|
||||||
|
## Unreleased changes
|
||||||
@@ -0,0 +1,30 @@
|
|||||||
|
Copyright Zoe Roux (c) 2021
|
||||||
|
|
||||||
|
All rights reserved.
|
||||||
|
|
||||||
|
Redistribution and use in source and binary forms, with or without
|
||||||
|
modification, are permitted provided that the following conditions are met:
|
||||||
|
|
||||||
|
* Redistributions of source code must retain the above copyright
|
||||||
|
notice, this list of conditions and the following disclaimer.
|
||||||
|
|
||||||
|
* Redistributions in binary form must reproduce the above
|
||||||
|
copyright notice, this list of conditions and the following
|
||||||
|
disclaimer in the documentation and/or other materials provided
|
||||||
|
with the distribution.
|
||||||
|
|
||||||
|
* Neither the name of Zoe Roux nor the names of other
|
||||||
|
contributors may be used to endorse or promote products derived
|
||||||
|
from this software without specific prior written permission.
|
||||||
|
|
||||||
|
THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
|
||||||
|
"AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
|
||||||
|
LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR
|
||||||
|
A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT
|
||||||
|
OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
|
||||||
|
SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT
|
||||||
|
LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
|
||||||
|
DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
|
||||||
|
THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
|
||||||
|
(INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
|
||||||
|
OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
|
||||||
@@ -0,0 +1,18 @@
|
|||||||
|
NAME = hal
|
||||||
|
|
||||||
|
all: $(NAME)
|
||||||
|
|
||||||
|
$(NAME):
|
||||||
|
stack build
|
||||||
|
mv `stack path --local-install-root`/bin/$(NAME)-exe $(NAME)
|
||||||
|
|
||||||
|
clean:
|
||||||
|
stack clean
|
||||||
|
|
||||||
|
fclean:
|
||||||
|
stack clean
|
||||||
|
$(RM) $(NAME)
|
||||||
|
|
||||||
|
re: fclean all
|
||||||
|
|
||||||
|
.PHONY = all clean fclean re $(NAME)
|
||||||
@@ -0,0 +1,6 @@
|
|||||||
|
module Main where
|
||||||
|
|
||||||
|
import Lib
|
||||||
|
|
||||||
|
main :: IO ()
|
||||||
|
main = someFunc
|
||||||
@@ -0,0 +1,61 @@
|
|||||||
|
cabal-version: 1.12
|
||||||
|
|
||||||
|
-- This file has been generated from package.yaml by hpack version 0.34.4.
|
||||||
|
--
|
||||||
|
-- see: https://github.com/sol/hpack
|
||||||
|
|
||||||
|
name: hal
|
||||||
|
version: 0.1.0.0
|
||||||
|
description: Please see the README on GitHub at <https://github.com/AnonymusRaccoon/HAL#readme>
|
||||||
|
homepage: https://github.com/AnonymusRaccoon/HAL#readme
|
||||||
|
bug-reports: https://github.com/AnonymusRaccoon/HAL/issues
|
||||||
|
author: Zoe Roux
|
||||||
|
maintainer: zoe.roux@sdg.moe
|
||||||
|
copyright: 2021 Zoe Roux
|
||||||
|
license: BSD3
|
||||||
|
license-file: LICENSE
|
||||||
|
build-type: Simple
|
||||||
|
extra-source-files:
|
||||||
|
README.md
|
||||||
|
ChangeLog.md
|
||||||
|
|
||||||
|
source-repository head
|
||||||
|
type: git
|
||||||
|
location: https://github.com/AnonymusRaccoon/HAL
|
||||||
|
|
||||||
|
library
|
||||||
|
exposed-modules:
|
||||||
|
BasicParser
|
||||||
|
Lib
|
||||||
|
other-modules:
|
||||||
|
Paths_hal
|
||||||
|
hs-source-dirs:
|
||||||
|
src
|
||||||
|
build-depends:
|
||||||
|
base >=4.7 && <5
|
||||||
|
default-language: Haskell2010
|
||||||
|
|
||||||
|
executable hal-exe
|
||||||
|
main-is: Main.hs
|
||||||
|
other-modules:
|
||||||
|
Paths_hal
|
||||||
|
hs-source-dirs:
|
||||||
|
app
|
||||||
|
ghc-options: -threaded -rtsopts -with-rtsopts=-N
|
||||||
|
build-depends:
|
||||||
|
base >=4.7 && <5
|
||||||
|
, hal
|
||||||
|
default-language: Haskell2010
|
||||||
|
|
||||||
|
test-suite hal-test
|
||||||
|
type: exitcode-stdio-1.0
|
||||||
|
main-is: Spec.hs
|
||||||
|
other-modules:
|
||||||
|
Paths_hal
|
||||||
|
hs-source-dirs:
|
||||||
|
test
|
||||||
|
ghc-options: -threaded -rtsopts -with-rtsopts=-N
|
||||||
|
build-depends:
|
||||||
|
base >=4.7 && <5
|
||||||
|
, hal
|
||||||
|
default-language: Haskell2010
|
||||||
@@ -0,0 +1,48 @@
|
|||||||
|
name: hal
|
||||||
|
version: 0.1.0.0
|
||||||
|
github: "AnonymusRaccoon/HAL"
|
||||||
|
license: BSD3
|
||||||
|
author: "Zoe Roux"
|
||||||
|
maintainer: "zoe.roux@sdg.moe"
|
||||||
|
copyright: "2021 Zoe Roux"
|
||||||
|
|
||||||
|
extra-source-files:
|
||||||
|
- README.md
|
||||||
|
- ChangeLog.md
|
||||||
|
|
||||||
|
# Metadata used when publishing your package
|
||||||
|
# synopsis: Short description of your package
|
||||||
|
# category: Web
|
||||||
|
|
||||||
|
# To avoid duplicated efforts in documentation and dealing with the
|
||||||
|
# complications of embedding Haddock markup inside cabal files, it is
|
||||||
|
# common to point users to the README.md file.
|
||||||
|
description: Please see the README on GitHub at <https://github.com/AnonymusRaccoon/HAL#readme>
|
||||||
|
|
||||||
|
dependencies:
|
||||||
|
- base >= 4.7 && < 5
|
||||||
|
|
||||||
|
library:
|
||||||
|
source-dirs: src
|
||||||
|
|
||||||
|
executables:
|
||||||
|
hal-exe:
|
||||||
|
main: Main.hs
|
||||||
|
source-dirs: app
|
||||||
|
ghc-options:
|
||||||
|
- -threaded
|
||||||
|
- -rtsopts
|
||||||
|
- -with-rtsopts=-N
|
||||||
|
dependencies:
|
||||||
|
- hal
|
||||||
|
|
||||||
|
tests:
|
||||||
|
hal-test:
|
||||||
|
main: Spec.hs
|
||||||
|
source-dirs: test
|
||||||
|
ghc-options:
|
||||||
|
- -threaded
|
||||||
|
- -rtsopts
|
||||||
|
- -with-rtsopts=-N
|
||||||
|
dependencies:
|
||||||
|
- hal
|
||||||
@@ -0,0 +1,78 @@
|
|||||||
|
module BasicParser where
|
||||||
|
|
||||||
|
import Control.Applicative ( Alternative(..) )
|
||||||
|
import Data.Char ( isDigit, isNumber )
|
||||||
|
import Text.Read ( readMaybe )
|
||||||
|
|
||||||
|
data Parser a = Parser {
|
||||||
|
parse :: String -> (Maybe a, String)
|
||||||
|
}
|
||||||
|
|
||||||
|
instance Functor Parser where
|
||||||
|
-- fmap :: (a -> b) -> f a -> f b
|
||||||
|
fmap f p = Parser $ \x -> case parse p x of
|
||||||
|
(Just ret, str) -> (Just $ f ret, str)
|
||||||
|
(Nothing, rest) -> (Nothing, rest)
|
||||||
|
|
||||||
|
instance Applicative Parser where
|
||||||
|
-- pure :: a -> f a
|
||||||
|
pure val = Parser $ \x -> (Just val, x)
|
||||||
|
|
||||||
|
-- (<*>) :: f (a -> b) -> f a -> f b
|
||||||
|
(<*>) f p = Parser $ \x ->
|
||||||
|
case parse f x of
|
||||||
|
(Just func, lo) -> case parse p lo of
|
||||||
|
(Just value, lob) -> (Just $ func value, lob)
|
||||||
|
(Nothing, lob) -> (Nothing, lob)
|
||||||
|
(Nothing, lob) -> (Nothing, lob)
|
||||||
|
|
||||||
|
instance Alternative Parser where
|
||||||
|
-- empty :: f a
|
||||||
|
empty = Parser $ \x -> (Nothing, x)
|
||||||
|
|
||||||
|
-- (<|>) :: f a -> f a -> f a
|
||||||
|
(<|>) f s = Parser $ \x -> case parse f x of
|
||||||
|
ret@(Just _, _) -> ret
|
||||||
|
(Nothing, _) -> parse s x
|
||||||
|
|
||||||
|
instance Monad Parser where
|
||||||
|
-- (>>=) :: forall a b. m a -> (a -> m b) -> m b
|
||||||
|
(>>=) v f = Parser $ \x -> case parse v x of
|
||||||
|
(Just val, lo) -> parse (f val) lo
|
||||||
|
(Nothing, lo) -> (Nothing, lo)
|
||||||
|
|
||||||
|
char :: Parser Char
|
||||||
|
char = charIf (const True)
|
||||||
|
|
||||||
|
charIf :: (Char -> Bool) -> Parser Char
|
||||||
|
charIf predicate = Parser subParse
|
||||||
|
where
|
||||||
|
subParse :: String -> (Maybe Char, String)
|
||||||
|
subParse [] = (Nothing, "")
|
||||||
|
subParse (c:cs)
|
||||||
|
| predicate c = (Just c, cs)
|
||||||
|
| otherwise = (Nothing, c:cs)
|
||||||
|
|
||||||
|
digit :: Parser Char
|
||||||
|
digit = charIf isDigit
|
||||||
|
|
||||||
|
int :: Parser Int
|
||||||
|
int = (charIf (== '-') >> (negate . read <$> some digit))
|
||||||
|
<|> read <$> some digit
|
||||||
|
|
||||||
|
unMaybe :: Parser (Maybe a) -> Parser a
|
||||||
|
unMaybe p = Parser $ \x -> case parse p x of
|
||||||
|
(Just (Just a), lo) -> (Just a, lo)
|
||||||
|
(Just Nothing, lo) -> (Nothing, lo)
|
||||||
|
(Nothing, lo) -> (Nothing, lo)
|
||||||
|
|
||||||
|
float :: Parser Float
|
||||||
|
float =
|
||||||
|
(charIf (== '-') >> (negate <$> unMaybe floating))
|
||||||
|
<|> (charIf (== '+') >> unMaybe floating)
|
||||||
|
<|> unMaybe floating
|
||||||
|
where
|
||||||
|
floating :: Parser (Maybe Float)
|
||||||
|
floating = do
|
||||||
|
value <- many $ charIf (\x -> isNumber x || x == '.')
|
||||||
|
return $ readMaybe value
|
||||||
@@ -0,0 +1,6 @@
|
|||||||
|
module Lib
|
||||||
|
( someFunc
|
||||||
|
) where
|
||||||
|
|
||||||
|
someFunc :: IO ()
|
||||||
|
someFunc = putStrLn "someFunc"
|
||||||
+67
@@ -0,0 +1,67 @@
|
|||||||
|
# This file was automatically generated by 'stack init'
|
||||||
|
#
|
||||||
|
# Some commonly used options have been documented as comments in this file.
|
||||||
|
# For advanced use and comprehensive documentation of the format, please see:
|
||||||
|
# https://docs.haskellstack.org/en/stable/yaml_configuration/
|
||||||
|
|
||||||
|
# Resolver to choose a 'specific' stackage snapshot or a compiler version.
|
||||||
|
# A snapshot resolver dictates the compiler version and the set of packages
|
||||||
|
# to be used for project dependencies. For example:
|
||||||
|
#
|
||||||
|
resolver: lts-18.10
|
||||||
|
# resolver: nightly-2015-09-21
|
||||||
|
# resolver: ghc-7.10.2
|
||||||
|
#
|
||||||
|
# The location of a snapshot can be provided as a file or url. Stack assumes
|
||||||
|
# a snapshot provided as a file might change, whereas a url resource does not.
|
||||||
|
#
|
||||||
|
# resolver: ./custom-snapshot.yaml
|
||||||
|
# resolver: https://example.com/snapshots/2018-01-01.yaml
|
||||||
|
# resolver:
|
||||||
|
# url: https://raw.githubusercontent.com/commercialhaskell/stackage-snapshots/master/lts/18/10.yaml
|
||||||
|
|
||||||
|
# User packages to be built.
|
||||||
|
# Various formats can be used as shown in the example below.
|
||||||
|
#
|
||||||
|
# packages:
|
||||||
|
# - some-directory
|
||||||
|
# - https://example.com/foo/bar/baz-0.0.2.tar.gz
|
||||||
|
# subdirs:
|
||||||
|
# - auto-update
|
||||||
|
# - wai
|
||||||
|
packages:
|
||||||
|
- .
|
||||||
|
# Dependency packages to be pulled from upstream that are not in the resolver.
|
||||||
|
# These entries can reference officially published versions as well as
|
||||||
|
# forks / in-progress versions pinned to a git hash. For example:
|
||||||
|
#
|
||||||
|
# extra-deps:
|
||||||
|
# - acme-missiles-0.3
|
||||||
|
# - git: https://github.com/commercialhaskell/stack.git
|
||||||
|
# commit: e7b331f14bcffb8367cd58fbfc8b40ec7642100a
|
||||||
|
#
|
||||||
|
# extra-deps: []
|
||||||
|
|
||||||
|
# Override default flag values for local packages and extra-deps
|
||||||
|
# flags: {}
|
||||||
|
|
||||||
|
# Extra package databases containing global packages
|
||||||
|
# extra-package-dbs: []
|
||||||
|
|
||||||
|
# Control whether we use the GHC we find on the path
|
||||||
|
# system-ghc: true
|
||||||
|
#
|
||||||
|
# Require a specific version of stack, using version ranges
|
||||||
|
# require-stack-version: -any # Default
|
||||||
|
# require-stack-version: ">=2.7"
|
||||||
|
#
|
||||||
|
# Override the architecture used by stack, especially useful on Windows
|
||||||
|
# arch: i386
|
||||||
|
# arch: x86_64
|
||||||
|
#
|
||||||
|
# Extra directories used by stack for building
|
||||||
|
# extra-include-dirs: [/path/to/dir]
|
||||||
|
# extra-lib-dirs: [/path/to/dir]
|
||||||
|
#
|
||||||
|
# Allow a newer minor version of GHC than the snapshot specifies
|
||||||
|
# compiler-check: newer-minor
|
||||||
@@ -0,0 +1,12 @@
|
|||||||
|
# This file was autogenerated by Stack.
|
||||||
|
# You should not edit this file by hand.
|
||||||
|
# For more information, please see the documentation at:
|
||||||
|
# https://docs.haskellstack.org/en/stable/lock_files
|
||||||
|
|
||||||
|
snapshots:
|
||||||
|
- original: lts-18.10
|
||||||
|
completed:
|
||||||
|
url: https://raw.githubusercontent.com/commercialhaskell/stackage-snapshots/master/lts/18/10.yaml
|
||||||
|
sha256: 88b4f81e162ba3adc230a9fcccc4d19ac116377656bab56c7382ca88598b257a
|
||||||
|
size: 587546
|
||||||
|
packages: []
|
||||||
@@ -0,0 +1,2 @@
|
|||||||
|
main :: IO ()
|
||||||
|
main = putStrLn "Test suite not yet implemented"
|
||||||
Reference in New Issue
Block a user