newtype

0열

2답변

저는 2D 지오메트리에 대한 몇 가지 기본 모듈을 만들고 있습니다. 그리고 newtypes에서 좌표를 래핑하기로했습니다. 이것은 극좌표 (newtype Ra=Ra(Float,Float))에서 쉽게 분리 된 데카르트 좌표 (newtype Xy = Xy(Float,Float))를 나타낼 수 있습니다. 아마도 복소수 일 수도 있습니다. 또한 Num 및 Fract

2열

1답변

이 newtype에 적합한 인스턴스가 주어지지 않는 이유는 무엇입니까?

나는 Data.IP에서 IP 유형의 newtype 별칭을 만들어 : {-# LANGUAGE GeneralizedNewtypeDeriving #-} module IPAddress (IPAddress) where import Data.IP (IP) import Database.PostgreSQL.Simple.ToField newtype IPAddr

6열

1답변

연속 형을 구조화하고 있습니까?

나는 연속성을 통해 갈거야 내가 구조화 계속 유형에 두 개의 서로 다른 접근 방식을 통해 왔어요 : 나는 후자의 접근 방식은 아무튼 이해 type C r a = (a -> r) -> r exampleFunction :: String -> C Bool String exampleFunction s = \t -> if length s > 10 then t

5열

1답변

newtype이

Rewrite rules 인 다시 쓰기 규칙은 프로그램 최적화에 도움이 될 수 있습니다. newtype에 물건을 싸면 효과가 있는지 궁금합니다. 알려진 바와 같이 newtype은 성능 저하를 초래하지 않으며, 런타임시 사라지는 컴파일 타임 래퍼입니다. 그래서 재 작성 규칙이 여전히 newtype으로 트리거되는지 궁금합니다. 예를 들어, Data.Text (

6열

1답변

하스켈의 newtype 동작

나는 1 :: Product Int을 수행하고 Product {getProduct = 1}을 얻을 수 있음을 발견했습니다. Product은 Data.Monoid으로 정의 된 newtype이다. 내가 정의하는 시도보다 내 자신의 newtype과 같이 : newtype Stuff a = Stuff {getStuff :: a} deriving (Show) 하

3열

2답변

Haskell 인스턴스가 단지 int 인 newtype을 읽었습니다.

저는 하스켈을 처음 접했고 newtype을 사용하여 무엇이 무엇인지 말할 수 있기를 원하지만 문자열에서 읽어야합니다. 나는 newtype SpecialId Int deriving (Eq, Ord, Show) 은 내가 newtype이란에서 읽기를 유도 그것이 단지 read "SpecialId 5" :: SpecialId에서 작동 작동하지 않을 경

1열

1답변

newtype 모나드 변환기가 있어도 "동의어 인스턴스가 허용되지 않습니다"

다음과 같이 모나드 변환기 UlffT을 정의했습니다. 저는 Halogen과 협력하고 있습니다. 그러나 이것은 Halogen이 아닙니다. 질문 - 문맥을 제공하고 있습니다. UlffT은 Aff에 쌓아 올려지고 HalogenM에 사용됩니다. newtype UlffT m a = UlffT (ExceptT Error (ReaderT Env m) a) unUlf

5열

1답변

GeneralizedNewtypeDeriving는 PersistFieldSql

나는 Markdown newtype은을 정의하기 위해 노력하고, 자동으로 새로운 인스턴스를 정의하는 GeneralizedNewtypeDeriving을 사용하고 실패 GHC 7.8.2의 새로운 roles 기능 때문입니까? 그 특별한 경우 엔 Markdown이 텍스트 그 자체가 새로운 타입이기 때문에 어떻게해야할지 모르겠다. forall과 관련이 있습니까? s

6열

1답변

Haskell 지역 사회에서 "runSomething"대회의 의미는 무엇입니까?

나는 몇 가지 문서와 튜토리얼에서 본 적이 : runReader runState runState 이 패턴 커버하는 추상적 인 개념은 무엇입니까? 하스켈에서 무엇인가를 의미하는 것은 무엇을 의미합니까? 사이드 질문에 항상 알고 싶었지만 물어보기가 너무 두렵던 태그가 있습니까?

0열

1답변

레코드를 통한 newtype의 외부 가져 오기

일부 자바 스크립트 json 데이터가있는 경우 foreign import 이상의 데이터를 사용자 정의 newtype 대신 실제 데이터의 서브 세트와 함께 사용할 수 있습니까? 자바 스크립트 : 예를 들어 purescript에서 exports.foo = {foo: "foo", bar: "bar"} : newtype Foo = Foo {foo :: Stri