1024programmer News How to call a function without parameters from an instance?

How to call a function without parameters from an instance?

Suppose you have a class:

class AClass a where
func:: Int
instance AClass SomeTree where
func = 0
instance AClass Double where
func = 1

How do I call the function func?

Answer

{-# LANGUAGE AllowAmbiguousTypes, TypeApplications #-}
class AClass a where
func: : Int
instance AClass SomeTree where
func = 0
instance AClass Double where
func = 1
foo :: Int
foo = func @SomeTree + func @Double
{-# LANGUAGE ScopedTypeVariables, UnicodeSyntax #-}
bar :: ? a . AClass a => a -> Int
bar _ = func @a


    This article is from the internet and does not represent1024programmerPosition, please indicate the source when reprinting:https://www.1024programmer.com/how-to-call-a-function-without-parameters-from-an-instance/

    author: admin

    Previous article
    Next article

    Leave a Reply

    Your email address will not be published. Required fields are marked *

    Contact Us

    Contact us

    181-3619-1160

    Online consultation: QQ交谈

    E-mail: [email protected]

    Working hours: Monday to Friday, 9:00-17:30, holidays off

    Follow wechat
    Scan wechat and follow us

    Scan wechat and follow us

    Follow Weibo
    Back to top
    首页
    微信
    电话
    搜索