Ne yapar: -> haskell tipi belirtiminde ortalama

Question

Bunu birkaç yerde görmüştüm:

data T = T a :-> b 

Özellikle hızlı bir şekilde

data Fun a b = Fun (a :-> b, b) (a -> b) 

var :-> nedir ve ->'den nasıl farklıdır?

Answer 1

Kolonla başlayan işleç, bir kurucu veya tür adıdır. Bu durumda, quickcheck'e özgü bir veri türü için bir tür adıdır, ancak genel olarak sembol: -> istediğiniz herhangi bir kurucu veya tip adı için kullanılabilir (bu, dilin uygun bir parçası değildir).

The definition of :-> in quickcheck

:

-- the type of possibly partial concrete functions 
data a :-> c where 
    Pair :: (a :-> (b :-> c)) -> ((a,b) :-> c) 
    (:+:) :: (a :-> c) -> (b :-> c) -> (Either a b :-> c) 
    Unit :: c -> (() :-> c) 
    Nil :: a :-> c 
    Table :: Eq a => [(a,c)] -> (a :-> c) 
    Map :: (a -> b) -> (b -> a) -> (b :-> c) -> (a :-> c) 

Answer 2

Kendi sorumu yanıtladı: İlk

data Edge = i :-> i 

:-> yapıcı tabii olduğu gibi bu gördük.