移除反变量函数器的实例声明中的类型同义词
是指在声明一个反变量函数器的实例时，如果类型同义词存在于该声明中，则需要将其移除。
类型同义词是指通过关键字"using"来定义的用于给类型取别名的方式。例如，以下是一个使用类型同义词的示例：
using MyType = int;在这个例子中，"MyType"就是一个类型同义词，它被定义为"int"的别名。
在移除反变量函数器的实例声明中的类型同义词时，需要将类型同义词替换为其原始类型，以保持代码的简洁性和可读性。例如，如果原始类型是"int"，则需要将声明中的类型同义词"MyType"替换为"int"。
移除反变量函数器的实例声明中的类型同义词的优势在于简化代码结构，使其更易于理解和维护。此外，移除类型同义词还可以避免因类型同义词的改变而导致的错误。
移除反变量函数器的实例声明中的类型同义词的应用场景包括但不限于：
- 在进行代码重构时，对使用了类型同义词的代码进行优化和简化。
- 在编写反变量函数器的实例声明时，避免过多使用类型同义词，以减少潜在的错误和混淆。
对于移除反变量函数器的实例声明中的类型同义词，腾讯云并没有直接相关的产品或产品介绍链接地址。这是一个编程技术相关的问题，与特定的云计算品牌商无关。
相关·内容
我正在阅读“真实世界”第151页，我已经盯着下面的短文看了一个多小时：
回想一下，String是Char的同义词，而Char又是类型参数a的替代类型。根据Haskell 98的规则，我们在编写实例时不允许提供类型而不是类型参数。换句话说，我们为a而不是Char编写一个实例是合法的。16评论5335
它根本没有沉入其中。盯着，我看到很多其他人真的为此而痛苦。从评论中我还是不明白..。
首先，这一切让我感到困惑，所以如果你觉得你能解释这篇文章，或者TypeSynonymInstances，请解释一下。
我的问题是：
Int是一个数据构造函数。
String是一个数据构造函数，类型为
浏览 7提问于2010-01-24得票数 20
回答已采纳
4回答
用类型同义词定义实例
、、、、
很抱歉，如果这个问题已经被问了很多次了--我很难把问题到底是什么，所以我不知道该找什么。
基本上，我已经定义了一个类，它的定义如下：
class (MonadIO m) => Logger m where ...
然后我有一个类型(我想说类型同义词，但我不确定这是否是正确的‘术语’)：
type ResourceOpT r m a = StateT (ResourceCache r) m a
为什么这个实例是完全有效的：
instance (MonadIO m) => Logger ( StateT s m )
但不是这个(我想第一个更抽象/更好，但我试图理解为什么)：
ins
浏览 5提问于2021-04-07得票数 4
回答已采纳
在尝试使用时，我编写了如下代码：
data Name = Name; type instance TypeOf Name = Text
type NameRecord = FieldOf Name;
我发现：
instance I NameRecord where
...
引发编译错误，即：
非法类型同义词族应用实例
鉴于：
instance (NameRecord ~ a) => I a where
...
编译得很好。
我相信这个错误与GHC中标记为无效的票证有关。
对这张罚单的答复是：
我不知道你在说什么。我们不能自动转换
实例C (Fam Int) - (1)
浏览 3提问于2012-05-07得票数 5
回答已采纳
我有一个具有函数依赖性的多参数类型类型：
class Multi a b | a -> b
我还有一个简单的、非内射式的同义词族：
type family Fam a
我想编写一个在第二个参数中使用Multi的Fam实例，如下所示：
instance Multi (Maybe a) (Fam a)
但是，此实例不被接受。GHC使用以下错误消息进行投诉：
error:
• Illegal type synonym family application in instance: Fam a
• In the instance declaration for ‘Multi (Maybe
浏览 9提问于2017-07-27得票数 34
我写了下面的代码，Haskell不会编译。
data Gang b a=Gang{getGang::(a,b)}
instance Monad (Gang String) where
return x = Gang (x,"")
(Gang(x,log)) >>=f = let Gang(x1,log1)= f x in Gang(x1,log++log1)
编译器输出：
Illegal instance declaration for `Monad (Gang String)'
(All instance type
浏览 2提问于2014-06-18得票数 2
回答已采纳
假设有以下代码：
#include <stdio.h>
typedef int myIntType;
int main()
{
int a;
myIntType *ptr = &a;
*ptr = 1;
printf("%d\n", a);
return 0;
}
这会调用未定义的行为吗？
根据任何合理的解释，我认为这应该只是将a的值设置为1，从而在stdout上打印1行。
在Mac上使用gcc -Wall -Wextra -pedantic main.c -o main编译不会产生任何错误或警告，并在执行时
浏览 4提问于2017-06-27得票数 3
回答已采纳
1回答
如何使类型可显示？
type InterpreterMonad = StateT (Env, Env) (ErrorT String IO ) ()
通常，我会输入deriving Show，但我有一个type，而不是newtype或data。
附注:如何使用newtype编写上述内容
浏览 5提问于2016-04-27得票数 1
我做了一些搜索，并认为LiberalTypeSynonyms会允许它。在某些情况下，它允许使用partially applied type synonyms作为参数来键入。
{-# LANGUAGE LiberalTypeSynonyms #-}
type Value a = ExceptT [a] Identity a
type Apply m a = m a
run1 :: Apply Value a -> IO ()
run1 e = undefined
但是，下面的内容在TypeApplications中不起作用，为什么可以编译它？
{-# LANGUAGE LiberalT
浏览 4提问于2022-02-12得票数 0
回答已采纳
2回答
通过函数依赖，我可以使用多参数类型类来约束类型类中依赖参数的类型。就像这样：
{-# LANGUAGE FunctionalDependencies, MultiParamTypeClasses,TypeSynonymInstances #-}
class (Num a, Integral b) => F a b | a -> b where
f :: a -> b
instance F Int Int where
f = id
instance F Float Integer where
f = truncate
一切都会完美无缺。
> f (1
浏览 1提问于2011-04-12得票数 2
回答已采纳
3回答
假设我有这样的数据类型
data A a = A a
data B b = B b
和type类
class C c where
f :: c a -> a
现在C类需要一种类型的* -> *，所以我可以
instance C A where
f (A a) = a
instance C B where
f (B b) = b
现在给出一个函数，例如：
ab :: b -> A (B b)
ab = A . B
如何为结果类型声明C的实例？
首先，我可以将类型同义词与TypeSynonymInstances一起使用，如下所示：
type AB b =
浏览 0提问于2011-09-06得票数 3
回答已采纳
4回答
下面是我的代码：
#include <iostream>
using namespace std;
struct product {
int weight;
float price;
} apple, banana, melon; // can I declare like this ?????
int main()
{
apple a;
}
当我编译这个示例时，编译器说：
struct.cpp|11|error: expected ';' before 'a'|
同样的事情在C语言中也能很好地工作。
怎么了？
浏览 0提问于2011-05-29得票数 1
1回答
因此，我试图列出不同类型的变量，并想确认我的分类是否正确。
我说有三种类型：
1.静态/类别
2.Instance
3.Global
我理解全局变量是在类定义之外声明的，但是静态变量必须在类定义中声明(不一定是实例化)。类和全局变量之间还有什么更重要的区别吗？
浏览 4提问于2015-03-15得票数 1
3回答
在C++中，以下内容是什么意思？
typedef PComplex RComplex [100];
注意，在我的代码中，PComplex是一个用户定义的类型。
谢谢
浏览 2提问于2009-12-10得票数 0
回答已采纳
在玩GHC.TypeLits的时候我做了这段代码
data A (a :: Symbol) = A
type B a (b :: Symbol) (c :: Symbol) = A a
class AC a where
af :: (String, a)
-- instance SingI a => AC (A a) where
-- af = (fromSing (sing :: Sing a), A)
instance (SingI a, SingI b, SingI c) => AC (B a b c) where
af = (fromSing (sing
浏览 0提问于2013-09-17得票数 1
回答已采纳
我的问题是OOP的最佳实践之一。我正在使用Codeigniter框架/PHP。
我有一门课：
class Test() {
var $my_data = array();
function my_function() {
//do something
}
}
像这样在类中声明$my_data可以吗？或者它应该放在构造器中？基本上，每个函数都将写入$my_data，因此在某种意义上，它将是一个类范围的变量(全局？，不确定术语)
另外，我应该使用var还是private？不推荐使用var而支持声明变量作用域？
浏览 0提问于2010-08-19得票数 5
回答已采纳
2回答
我想对stl的某些部分进行重命名或别名，以便它们符合我的项目的命名约定。到目前为止，重命名类型很简单
template<class Type>
using Vector = std::vector<Type>;
我试着做一些类似别名成员的事情：
template<class Type>
using Vector::PushBack = std::vector<Type>::push_back;
// and
template<class Type>
using Vector<Type>::PushBack = std::v
浏览 20提问于2020-03-11得票数 0
回答已采纳
1回答
在这里完成对Haskell的初学者，可能还有一个更低级的问题。我试图让ghci输出正常工作，但却被实例声明卡住了。如何为给定的“(显示(堆栈->堆栈))”声明实例：
data Cmd = LD Int
| ADD
| MULT
| DUP
deriving Show
type Prog = [Cmd]
type Stack = [Int]
type D = Stack -> Stack
我一直在尝试创建一个声明，比如：
instance Show D where show = Stack
但是我所有的尝试
浏览 2提问于2010-04-22得票数 2
回答已采纳
3回答
我有一堂课：
class X{
public :
void f ( int ) ;
int a ;
} ;
任务是“在代码中提供声明：
指向X类int变量的指针
指向在类X中定义的函数void(int)的指针
指向X类双变量的指针“
那么指向int a的指针就是int *x = &a，对吗？如果X中没有double，我可以在这个类中创建指向double的指针吗？最大的问题是第二项任务。如何声明指向函数的指针？
浏览 0提问于2010-03-23得票数 3
回答已采纳
我正在教自己JavaScript来自OOP的背景。我正在学习的那本书让我想：“哇，属性几乎和静态方法或变量一样！”如果是这样的话，我想要更多地实现它们以节省一些内存，但是在我爱上它们之前，我想确保我正确地使用它们。
是这种情况吗？我的逻辑错了吗？我在下面添加一些示例代码作为我的问题的上下文。希望它没有被过分简化：
function person(first, age){
this.firstName = first;
this.age = age;
}
person.prototype.sayHello = function(){
return "hi m
浏览 5提问于2015-04-24得票数 13
回答已采纳
我读了一本Haskell的书，偶然发现了一句话：
数据声明总是创建一个新的类型构造函数，但可能创建或不创建新的数据构造函数。
让人感到奇怪的是，我们应该能够在没有数据构造函数的情况下声明数据类型，因为似乎永远无法实例化该类型。所以我试过了。下面的数据声明编译时没有出错。
data B = String
如何创建这种类型的实例？是可能的吗？我似乎找不到办法。
我认为可能会自动创建一个名称与类型构造函数相匹配的数据构造函数，但情况似乎并非如此，因为试图使用B作为数据构造函数并在作用域中声明所导致的错误就说明了这一点。
Prelude> data B = String deriving
浏览 2提问于2017-07-29得票数 7
回答已采纳
如何为下列自定义类型导出相等类型？
type Address =
{ street :: String
, city :: String
, state :: String
}
type Entry =
{ firstName :: String
, lastName :: String
, address :: Address
}
derive instance eqEntry :: Eq Entry
在编译时，我会收到以下错误：
Cannot derive a type class instance, because the type
浏览 1提问于2018-04-05得票数 2
回答已采纳
我完全理解为什么会发生这种情况，但我不知道如何解决，因为我的尝试都没有奏效。
我正在使用MsgReader加载一个文件。我需要抓住例外。
try
{
var message = MsgReader.Mime.Message.Load(fileInfo);
}
catch(IOException e)
{
MessageBox.Show(e.ToString(), "Error", MessageBoxButtons.OK, MessageBoxIcon.Error);
}
if (message.Attachments != null) //i
浏览 9提问于2022-03-18得票数 0
我想做两件事
创建一个私有实例变量，它是一个映射
若要在构造函数中创建一个空实例，该实例将实现映射并将其分配给前面的私有实例变量。
我的私人例子是
private final Map<Character, SortedSet<String>> thesaurus =
new HashMap <Character, SortedSet<String>>();
但是，如何在构造函数中创建实例变量，从而在构造函数创建时引用私有变量同义词库。
例如
public class Book{
浏览 0提问于2010-07-17得票数 7
关于哈斯克尔唱片的基本问题。如果我定义这个数据类型，
data Pet = Dog { name :: String } | Cat { name :: String } deriving (Show)
以下工作：
main = do
let d = Dog { name = "Spot" }
浏览 2提问于2014-01-03得票数 3
回答已采纳
好的，让我设置一下场景:我们在代码中使用了一个函数，它接受一个函数并在它周围做一些日志记录，然后返回结果。看起来有点像这样。
TResponse LoggedApiCall<TResponse>(Func<BaseRequest, BaseResponse> apiCall, ...)
where TResponse : BaseResponse;
在使用这个时，我有以下四个对象
namespace Name.Space.Base {
public class BaseRequest {
...
}
}
namespace Na
浏览 3提问于2014-10-21得票数 9
2回答
目前，我正在使用相当不错的库，偶然发现了一个基本但可能是基本的问题(我对实际的haskell开发非常陌生)。
我使用它们的基本矩阵类型
data Matrix a b :: * -> * -> *
其中a表示haskell，b表示内部C类型。这是通过限制实现的。
Elem a b
使用
Elem Double CDouble
Elem Float CFloat
-- more for complex types...
虽然不是我想问的问题，但我有点不明白为什么要这样做。既然这显然是一种函数映射，我已经不明白为什么这是一个等价关系，但无论如何.
现在，我想从包中定义一个实例(作为一个
浏览 3提问于2017-02-01得票数 1
回答已采纳
我遇到了以下代码：
typedef int var[1]; // or var[3]
它实际上是做什么的？我不明白下标添加了什么，因为现在我可以为int定义"var“
浏览 3提问于2012-08-25得票数 6
回答已采纳
2回答
我使用typealias和var(或let)将函数定义为变量
typealias IntFuction = (Int) -> Int
var IntFuction = (Int) -> Int
如果我使用typealias，则根本没有错误。但是，如果我试图使用var或let，则会得到以下错误
consecutive statement on a line must be separated by ";"
使用，如果可以使用typealias或var将变量定义为变量，则应该没有问题。
当我使用var将函数定义为变量时，有人能解释一下发生了什么吗？
浏览 5提问于2016-06-09得票数 1
回答已采纳
我有以下代码，没有编译：
module Lib where
{-# LANGUAGE OverloadedStrings, TypeSynonymInstances, FlexibleInstances #-}
import Data.Text (Text)
class DoSomething a where
something :: a -> IO ()
instance DoSomething String where
something _ = putStrLn "String"
instance DoSomething Text where
浏览 2提问于2019-02-22得票数 1
回答已采纳
2回答
另一个新手问题：
int foo(); // outer foo function
int main() {
int foo(); // inner foo function
cout << foo() << endl;
}
int foo() { // one definition
return 42;
}
根据我的理解，函数或对象的内部声明将隐藏外部函数(如果有的话)。
因此，上面的外部foo()和inner ()应该是两个不同的函数。
但他们有一个共同的定义，这似乎令人困惑。两个不同的功能共享一个定义是合法的吗？两个不同的对象变量如何？
浏览 5提问于2014-07-11得票数 3
回答已采纳
3回答
我试图通过值传递整个结构，并通过显示传递的结构中的变量来测试pass是否成功。
当我编译和运行程序时，变量将正确显示，但我会收到警告：
警告:函数声明中的参数名称(没有类型)
因此，它指的是使用没有类型的参数名称声明的函数原型？但是如果我正确地声明了这个函数，为什么我会收到这个警告呢？
此外，在我编写的测试此功能的短程序中，警告并不影响所显示的输出是正确的。
但是，如果我在相同的情况下(通过函数传递struct )得到这个警告，当我编写一个更大的程序时，它会不会影响程序中的输出是正确的？
我的代码：
#include <stdio.h>
#include <stdli
浏览 5提问于2017-12-26得票数 1
回答已采纳
我的代码如下所示，float是的数据类型
Application.Current.Resources.TryGetValue("RoundButtonSize", out object size);
control.CornerRadius = ((float)size) / 2;
然而，当我在第二行进行强制转换时，它说是无效的强制转换，当我在这里检查时，我发现它不是像我预期的那样转换为浮点数：
var a = (float)size ;
它说a的数据类型是Struct System.Single
有人能告诉我我的演员做错了什么吗？
浏览 1提问于2018-12-09得票数 3
回答已采纳
我正在尝试使用教科书的作者给我的代码来编写程序，但在尝试编译使用该文件的程序时，在每个方法中都会出现“取消引用指向不完整类型的指针”错误。下面是代码。有谁知道我如何修复这个作者的代码，使其正常工作？
#include <stdio.h>
#include <stdlib.h>
#include "StackADT.h"
#define STACK_SIZE 100
struct stackType {
int contents[STACK_SIZE];
int top;
};
static void terminate(const c
浏览 0提问于2012-11-25得票数 0
回答已采纳
我有一张名叫User的桌子。我将类声明为<class name="EETUser" table="User"> --它抛出“User关键字附近的不正确语法”。
然后我更改为<class name="EETUser" table="[User]">，这会将错误抛出为缺少的表：[User]。
我甚至试过
<class name="EETUser" table="'User'">
它抛出了同样的异常。Table missing.
请帮帮我。
注:
浏览 2提问于2014-09-11得票数 3
我刚刚开始使用Yesod，虽然我已经可以获得一些有趣的结果，但我很难理解其中的一些类型(可能是因为我不熟悉模板Haskell)。
将一个哈姆雷特片段传递给函数的defaultLayout函数是通过toWidget函数。因此，按照下面ham1和ham2的定义，defaultLayout中的适当指令分别是toWidget ham1和ham2。
我的问题：在下面的(工作)代码中为什么指令toWidget ham2编译，而它是一个与ham1非常不同的动物？我猜这意味着ham1的类型(ham1 :: t -> Text.Blaze.Internal.Markup (*))和ham2的类型(ham2
浏览 4提问于2016-01-05得票数 0
在本文件第33页：有以下一句：
Dieser Kontext besagt，Typvariablen nur mit Typen einer bestimmten实例化.
因此，在英语中：“这个上下文规定某些类型变量只能用属于特定类型类(在上下文定义中)的类型来实例化。”
Giesl教授的Haskell讲座(英文)的相应部分是1小时21分钟( )。
有人能解释一下“实例化类型变量”是什么意思吗？
我知道在OO编程的上下文中，实例化这个词意味着什么，即实例化一个类。但是这个词在类型变量的上下文中意味着什么呢？
就我所理解的类型变量实例化的概念而言，只涉及编译时间，更具体地说，涉及类型检查的过程
浏览 1提问于2014-05-17得票数 2
回答已采纳
所以，如果尝试这个匿名块：
DECLARE
TYPE nums IS TABLE OF integer;
nnum nums;
BEGIN
nnum := nums(1,2);
dbms_output.put_line( nnum.COUNT );
END;
这是可行的，但是当这里：TYPE nums IS TABLE OF I将IS替换为AS时，oracle会出错：
ORA-06550: Encountered the symbol "TABLE" when expecting ...
我在docs中看到，"AS“和"IS”都用于声明
浏览 0提问于2015-04-29得票数 1
回答已采纳
我想以不同的方式使用我的接口(接口必须是协变的)，但是编译器给了我错误的c#编译器错误：-‘参数必须是输入安全的。无效的方差。类型参数'T’在'Expression'上必须是不变的，这是我的代码：
interface IRepository<out T> where T : BaseEntity
{
IEnumerable<T> Find(Expression<Func<T, bool>> predicate);
T FindById(Guid id);
}
浏览 2提问于2014-06-17得票数 7
1回答
我在Haskell中有一个Type，使Map有多个值与一个键相关联。
如果我编译以下代码：
type Mapa k v = Map k [v]
instance Monoid (Mapa k v) where
--mempty :: Mapa k v
mempty = DM.empty
--mappend :: Mapa k v -> Mapa k v -> Mapa k v
mappend a b = DM.unionWith (++) a b
GHCi将抛出：
Illegal instance declaration for `Monoid (Map k [v
浏览 1提问于2013-05-04得票数 5
回答已采纳
2回答
我是新来的。我正在尝试做一个消息列表，消息1，消息2和消息3的内容。但是下面的代码显示了错误消息。
static final String[] ITEMS = new String[] { "message 1", "message 2", "message 3" };
错误消息：
Illegal modifier for parameter ITEMS; only final is permitted
然而，在“另一个项目”中，我使用下面的代码做了一个水果列表。
static final String[] FRUITS = new String
浏览 0提问于2012-08-06得票数 1
回答已采纳
1回答
类型家族多态性
、、
因此，我有一个函数apply :: proxy tf -> tf Int -> tf Int，它接受一个用于携带类型家族的代理，并将Int应用于该类型家族，以确定第二个参数的类型和返回值。然而，我从GHC那里得到了一些令人困惑的反应。
{-# LANGUAGE TypeFamilies #-}
import Data.Proxy
type family F (a :: *) :: * where
F Int = ()
f :: Proxy F
f = Proxy
apply :: proxy tf -> tf Int -> tf Int
apply _
浏览 1提问于2015-04-24得票数 8
回答已采纳
我试图使用simpleJDBCCall.excute( in )方法执行存储过程，但如果使用该过程的同义词，它不会读取元数据。
这是密码。
SimpleJdbcCall optOutCall = new SimpleJdbcCall(dataSource)
.withSchemaName("USER_SCH")
.withCatalogName("USER")
.withProcedureName(ADD_ADDRESS)
.declareParameters(
n
浏览 0提问于2014-10-07得票数 5
1回答
int main()
{
string str;
cout << "Enter Infix Expression \n";
cin >> str;
cout << "infix:" << str << "\n";
string postfix = InfixToPostfix(str); // **error cause here**
cout << "postfix: " << postfix &
浏览 2提问于2018-02-21得票数 1
4回答
我正在学习Haskell，并想使用"readHex"，根据胡格尔的说法，它有以下类型：
readHex :: Num a => ReadS a
如何从这样的函数中“提取”结果？最常见的方法是什么，模式匹配正确的构造函数，即(a，"") ?？
一般来说，LiftM和提升似乎有一定的意义，但是当涉及到“解开”一元堆栈时，我就迷失了方向。
浏览 13提问于2011-08-25得票数 3
回答已采纳
我试图为While语言的扩展编写一个解析器，这个扩展名为Proc，它接受输入(如x:=1 )并返回Ass "x" (N 1)。目前为止，我的代码如下：
{-# LANGUAGE StandaloneDeriving #-}
module Attempt where
import Text.Megaparsec
import Text.Megaparsec.String
import Data.List (intercalate)
import Prelude hiding (Num)
import qualified Prelude (Num)
import System.IO
浏览 0提问于2017-04-15得票数 1
回答已采纳
4回答
给定的
data Foo =
FooString String
…
class Fooable a where --(is this a good way to name this?)
toFoo :: a -> Foo
我想让String成为Fooable的一个实例
instance Fooable String where
toFoo = FooString
GHC随后投诉：
Illegal instance declaration for `Fooable String'
(All instance types must be of the for
浏览 1提问于2011-05-09得票数 90
回答已采纳
根据doc，java中的局部变量是在方法、构造函数或块中声明的。
在下面的类A中，x也不是局部变量，因为它位于块({})中，我知道它们被称为实例变量，但我感到困惑吗？如果是，访问修饰符不能用于局部变量，但我确信我可以添加公共私有保护？它还说局部变量存储在堆栈中，但如下所示，代码x将正确地存储在堆中，因为它们是实例的一部分？
class A{
private int x = 5; // Isn't this a local varibale too since it is in blocks
}
。
class A{
public void function(){
int x =
浏览 1提问于2014-04-01得票数 3
回答已采纳
1回答
反竞争型参数化模板的外部模板
、、、、
一个可编译的例子：
main.cpp
#include "test.h"
int main(int argc, char* argv[]) {
auto myPtr = std::unique_ptr<MyClass>(getMyPtr());
}
test.h
#ifndef TEST_H
#define TEST_H
#include <memory>
class MyClass;
extern template class std::unique_ptr<MyClass>;
MyClass* getMyPtr();
#e
浏览 3提问于2014-12-22得票数 9
2回答
我正在尝试弄清楚是否可以(以及如何)为多参数类型同义词定义类实例。
例如：
{-# LANGUAGE MultiParamTypeClasses, FlexibleInstances #-}
type F a b = a -> b
data DF a b = DF (a -> b)
class C c a b where
doc :: c a b -> a -> b
它适用于多参数类型的实例：
instance C DF a b where
doc (DF f) x = f x
但它不适用于类型同义词：
-- ERROR:
--
-- Type sy
浏览 0提问于2013-04-17得票数 10
回答已采纳
1回答
我尝试从以下位置运行代码：
使用ghci 7.6.3
{-# LANGUAGE LiberalTypeSynonyms, TypeSynonymInstances #-}
type C m a = (a -> Action m) -> Action m
data Action m = Atom (m (Action m)) | Fork (Action m) (Action m) | Stop
此原始表单：
instance (Monad m) => Monad (C m) where
f >>= k = \c -> f (\a -> k a
浏览 0提问于2014-12-26得票数 2
扫码
添加站长 进交流群
领取专属 10元无门槛券
手把手带您无忧上云
相关资讯
热门标签
云服务器
ICP备案
对象存储
腾讯会议
实时音视频活动推荐
腾讯云开发者
