type-constraints

1Hitze

1Antwort

Der Code erhältlich von github: {-# LANGUAGE TypeFamilies , TypeOperators #-} module Test where import Control.Monad.Reader import Control.Lens import Control.Zipper class Monad f => F

1Hitze

2Antwort

Leere Schnittstelle oder leere Basisklasse als Typ-Parameter Einschränkung verwenden

nehme ich eine generische Klasse in C#, deren Erklärung haben wie folgt aussieht: public abstract class DtoQuery<T> where T : class { } Nun wird der Typ-Parameter ein „Dto“ immer gedacht Klasse. Ic

5Hitze

1Antwort

F # Implementierung von Interface-Methode mit Typeinschränkung

ich ein dummes Problem haben, muss ich die Schnittstelle in F # Klasse implementieren, wobei das Verfahren folgende haben: public interface IMyInterface { T MyMethod<T>() where T : class; } U

6Hitze

2Antwort

Es ist unmöglich, ein Objekt mit einer rekursiven Typabhängigkeit zu erstellen.

Dies ist eine rein akademische Frage, aber Riffing von this question über Typ Einschränkungen. Der Fragesteller gab dies als ein Beispiel: type Something<'a, 'b when 'b :> seq<'b>>() = member __.

-1Hitze

1Antwort

rasche allgemeine func mit überlappenden Typ Einschränkungen

ich diese Protokollhierarchie haben: protocol A {} protocol B: A {} was passiert, wenn ich die 2 folgenden funcs haben: func myFunc<T : A where T: B>(object: T){ ... } func myfunc<T : A>(object:

3Hitze

1Antwort

F # -Musterübereinstimmung unter Verwendung von Typeinschränkungen

Ist es möglich, ein Testmuster vom Typ F # mit einer Elementeinschränkung zu erstellen? Wie zum Beispiel: let f x = match x with | :? (^T when ^T : (static member IsInfinity : ^T -> bool)) a

0Hitze

1Antwort

Get Constraint in GADT-Stil-Deklaration, ohne speziell Konstruktor zu verwenden?

Beachten Sie Folgendes: {-# LANGUAGE GADTs, GADTSyntax #-} data Test a where Test :: Ord a => { first :: a, second :: a } -> Test a comp :: Test a -> Bool comp (Test fst snd) = fst < snd D

0Hitze

1Antwort

Warum können klassenübergreifende Obergrenzeneinschränkungen nicht kovariant sein und Untergrenzeneinschränkungen in Hack kontravariant sein?

Unabhängig von der Varianz des Parameters auf der linken Seite, die platzierten Beschränkungen für Ta und Tb in der folgenden Erklärung versagt die typecheck: class A<+TCov, -TCon, [±]Ta as TCov, [±]T

1Hitze

1Antwort

Erfordern ein Array, um eine Mindestgröße in Swift-Protokoll zu sein

Ich habe ein Objekt, das Pixel Zeile für Zeile (genau wie alte Fernseher) ausgegeben wurde. Dieses Objekt schreibt einfach Bytes in ein zweidimensionales Array. So gibt es eine Anzahl von horizontalen

1Hitze

1Antwort

Einschränken des generischen Parameters als abstrakt

Ist es möglich, eine Einschränkung für einen generischen C# -Parameter anzugeben, wobei dieser Parameter abstrakt sein muss? So habe ich derzeit eine Methode, wo der generische Parameter einen paramet