Hedgehog은 다음과 같이 정의 된 HTraversable 클래스가 : 값이 콘크리트 또는 추상 여부를 통해 유형을 매개 변수화에 대한 자신의 Var 유형에 사용되는 -- | Higher-order traversable functors.
--
class HTraversable t where
htraverse :: Applicative f =
Traversal 목록을 사용할 수 있습니까? 다음 코드 : f::[Int] -> [[Int]]
f l = [l & i .~ 1 | i<-[ix 0], (l^? i) == Just 0]
오류 발생 : • Couldn't match type ‘Const (Data.Monoid.First Int) [Int]’
with ‘Identity [
목록이 있다고 가정하면 [A]입니다. 일부 술어를 만족하면 목록의 특정 요소를 업데이트하려고합니다. 그러나 그런 요소가 없다면 먼저 목록에 요소를 추가하고 싶습니다. 내 현재 솔루션은 거기에없는 경우 목록에 요소를 삽입하기위한 수동 함수를 작성한 다음 filtered 통과를 사용하여 요소를 업데이트합니다. 이와 같이 : 더 나은 (더 짧고 관용적 인) 솔루
확장 가능한 레코드 라이브러리를 가지고 놀고 있는데, 함수를 쓰고 싶습니다. Symbol 키가 키 목록에 있는지 여부에 따라 Lens 또는 Traversal으로 작동 할 수 있습니다. 유형의 가족이 주어진다 :이 type family LensOrTraversal key keys s t a b where
LensOrTraversal key '[] s
GADT에 Traversal을 쓸 수 있습니까? 내가 가진 : {-# LANGUAGE TypeInType, GADTs, TypeFamilies, RankNTypes #-}
module GADT where
import Data.Kind
data Tag = TagA | TagB
data family Tagged (tag :: Tag)
data
일반 나무와 매우 유사한 몇 가지 특수한 형식의 데이터 형식이 있습니다. data NestedTree = NT
{ _dummy :: Int
, _tree :: HashMap String NestedTree
} deriving (Show)
makeLenses ''NestedTree
렌즈를 사용하여 필수적으로 내 데이터 유형의
렌즈를 사용하기 시작했고 지금까지는 필자가 작성한 코드베이스의 구체적인 부분에서 사용할 수 없었습니다. 내 목표는 기존 트리 중 하나에 새 노드를 추가하여 Data.Tree에있는 장미 트리 구조를 업데이트하는 것입니다. type MyTree = Tree Id
type Path = [Id]
addToTree :: MyTree -> MyTree -> Pa
의 렌즈에 렌즈를 결합. sndPerson :: Lens' (a, Person) (a, String)
sndPerson = lens
(\(a, p) -> (a, p ^. name))
(\(_, p) (a, n) -> (a, p & name .~ n))
위 sndPerson를 정의하는 더 좋은/표준 방법이 있나요?
저는 하스켈과 함께 기세를 가지기 시작했고, 내가 일상화 한 추상화를 좋아합니다 (예 : lens). 나는 REST API 렌즈가 함께 사용하는 것이 유용 할 수 있지만 시간이 지나면 사용이 불가능하다는 것을 알고 있습니다. 내가 볼 수있는 주요 문제는 내가 직접 데이터 구조에 접근하지만, 요청 문자열을 출력 아니에요이다 는 (내 렌즈 구문은 아마도 잘못)